summaryrefslogtreecommitdiffstats
path: root/.github/main.workflow
AgeCommit message (Expand)AuthorFilesLines
2019-12-02Remove extraneous GitHub metadata (#586)Harsh Shandilya1-9/+0
2019-04-25Add github action to automatically delete merged branchesHarsh Shandilya1-0/+9