[carlmr]

Last time I checked they don't exist in GitHub, but it seems like a really good way to counteract this problem.

[tdumitrescu]

Almost there: https://github.blog/changelog/2021-10-27-pull-request-merge-...

[jeremy_k]

To note, we signed up for the beta and got accepted in last week. Haven't turned it on yet though.