summaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Expand)Author
2019-10-13github: Update workflow settings...Harsh Shandilya
2019-10-02Add Spotless to regulate codestyle (#550)...Harsh Shandilya
2019-10-02Migrate to GitHub actions for CI...Harsh Shandilya
2019-07-28CODEOWNERS: Update to my new username...Harsh Shandilya
2019-05-24Add CODEOWNERS...Harsh Shandilya
2019-04-25Add github action to automatically delete merged branches...Harsh Shandilya