aboutsummaryrefslogtreecommitdiff
path: root/.github/main.workflow
AgeCommit message (Expand)Author
2019-12-02Remove extraneous GitHub metadata (#586)...Harsh Shandilya
2019-04-25Add github action to automatically delete merged branches...Harsh Shandilya