erabo/spiegel-keyman
1
0
Fork 0
mirror of https://github.com/keymanapp/keyman.git synced 2026-08-07 01:15:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 13
10275 commits 85 branches 3129 tags 563 MiB
Commit graph

4 commits

Author SHA1 Message Date
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