Currently, the .github\workflows\auto-merge-keyman-server-pr.yml workflow approves and merges any PRs from keyman-server. However, we should only do that if the appropriate label auto is also set (or if auto: is at the start of the title, perhaps). Arising from #6114.

From slack, by myself:

Well that was fun. #6114 was approved and merged by some 'helpful' bots because the PR was created by keyman-server... argh. Looks like we need to watch out for the 'auto' label!