summaryrefslogtreecommitdiffstats
path: root/.github
AgeCommit message (Expand)Author
2020-10-24GitHub Actions: Prevent labeler from removing manually added labelsJan Holthuis
2020-10-20Merge pull request #3179 from Holzhaus/gh-action-labelerUwe Klotz
2020-10-18GitHub Actions: Add labeler workflowJan Holthuis
2020-10-17GitHub Actions: Add "stale" label to old issues/PRsJan Holthuis