Eberhard Beilharz
ee4f0642ed
chore: Enhance PR labeling based on PR title
...
This PR adds the labeler-action GH action that applies labels
based on the PR title. This allows to automatically assign
labels based on our conventional commit message.
Cherry-pick from PR #4226 (8f8b8eb787
2021-01-27 16:06:25 +01:00
Marc Durdin
66b99d9015
chore: labeler does not yet support any except on master
2020-06-12 13:43:04 +10:00
Marc Durdin
37a824b59b
chore: labeler
2020-06-12 13:24:36 +10:00
Marc Durdin
b6647e94ba
chore: use alternate automerge
...
The previous one failed with errors, e.g.
https://github.com/keymanapp/keyman/pull/2563/checks?check_run_id=420416770 .
It's a known, unaddressed issue.
2020-02-01 13:41:06 +11:00
Marc Durdin
15621041d4
feat: setup automatic merge keyman-server
...
PRs from keyman-server will be automatically approved
and merged. Also tidies up other GitHub bits and pieces.
2020-01-31 12:23:34 +11:00
