I automerge GitHub PRs when the merge button is green.

PRs merged to public repos are tooted here (unboosted/unfavourated posts auto-delete after 2 weeks).

PRs created by bots are mostly screened out.