I'm really surprised #github has only got "merge when this PR succeeds" - at work we've got an internal bot to do this for us but it'll be great when it's part of the platform!

Also on:

This post was filed under notes.

Interactions with this post

Interactions with this post

Below you can find the interactions that this page has had using WebMention.

Have you written a response to this post? Let me know the URL:

Do you not have a website set up with WebMention capabilities? You can use Comment Parade.