11 commits

Author	SHA1	Message	Date
Eberhard Beilharz	dcd2fb990c	chore: Add cherry-pick label for cherry-pick PRs ... (cherry picked from commit aa5800d116)	2021-04-26 12:25:15 +02:00
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	bb873f32f0	chore: refresh github templates	2020-11-30 13:48:34 +11:00
Marc Durdin	3365e392d6	fix: add resources to common	2020-06-12 13:44:07 +10:00
Marc Durdin	66b99d9015	chore: labeler does not yet support any except on master	2020-06-12 13:43:04 +10:00
Marc Durdin	ac2d8ae30e	chore: labeler yml	2020-06-12 13:39:48 +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
Marc Durdin	2965415128	[meta] Tweak issue templates	2019-01-04 09:33:44 +11:00
Marc Durdin	53b233306e	Update issue templates	2019-01-02 10:59:28 +11:00