mirror of
https://github.com/keymanapp/keyman.git
synced 2026-08-07 09:25:33 +00:00
3754cac89b
Prevents PRs from keyman-server from being merged unless they already have the 'automerge' label. This supports the upcoming epic-master-merge infrastructure, where we would like to automatically approve the PRs but allow maintainers to merge when ready. We cannot specify required status checks at this point, because we don't necessarily know which status checks will be required for a given PR. A future improvement would be to define a new status check which verifies that all the expected builds for a given PR have passed, and then make that into a required status check for all master,beta,stable-x.y,epic/ branches. This status check would need to be updated automatically whenever another status check completes. Probably should be implemented as a GHA. In the future, we could move to using GitHub's auto-merge functionality, and not use the current auto-merge action but that's a much bigger change. Also, upgraded auto-approve to v4.0.0 to remove node deprecation warnings. |
||
|---|---|---|
| .. | ||
| api-verification.yml | ||
| auto-merge-keyman-server-pr.yml | ||
| close-linked-issues-for-merged-prs.yml | ||
| crowdin.yml | ||
| deb-packaging.README.md | ||
| deb-packaging.yml | ||
| labeler.yml | ||