Marc Durdin
bb095f2bd2
chore(common): update actions to node16
...
Note: GH-sourced actions use tags; 3rd party actions use commit hashes.
2022-10-25 16:22:03 +11:00
Marc Durdin
59ad38eea3
chore: upgrade multi-labeler
2022-09-14 13:50:54 +10:00
Marc Durdin
3ef382338f
fix: only auto-merge if auto: prefix in title
2022-01-24 12:12:53 +11:00
Eberhard Beilharz
01789142bc
fix(common): Fix cherry-pick labeling
...
My previous commit escaped the parens which should be part of the
regex.
2021-09-30 16:48:25 +02:00
Darcy Wong
1fc84103db
Update .github/workflows/crowdin.yml
...
Co-authored-by: Marc Durdin <marc@durdin.net>
2021-09-14 07:41:04 +07:00
Darcy Wong
8575570271
chore(common): Remove trigger on custom branch
2021-09-14 07:19:37 +07:00
Darcy Wong
676df4b309
chore(common): Add GitHub action to sync crowdin source
2021-09-14 07:11:07 +07:00
Eberhard Beilharz
0105fa7ca3
chore(linux): Use different action
...
This addresses the code review comments:
- fuxingloh/multi-labeler is written in Typescript
- config in different file
- only looking at the PR title, not the description
# Keyman Conventional Commit suggestions:
# - Consider appending the text ". Fixes #3869 " to your commit message.
2021-01-25 15:35:03 +01:00
Eberhard Beilharz
8b3ac38b33
chore: Enhance PR labeling based on PR title
...
This PR adds the labeler-action GH action that applies labels
based on the PR title or description. This allows to automatically
assign labels based on our conventional commit message.
2021-01-07 20:24:48 +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
