sauclovian-g
commented
1 month ago If there's anything else I've forgotten, this is a good time to notice :-)
(Also while I'm posting maybe I should note that I changed the spelling of the category prefixes from foo/bar to foo: bar because apparently you can do that and it looks a lot nicer.)
Update the mergify config with the new issue label strings.
Drop the keep-branch-on-merge feature; have it just always remove pull request branches at merge time. (It's not exactly difficult to put them back if that's what you want, and it appears the one time this feature's been used the branch hung around uselessly for years.)