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!
by 
Jamie Tanna
.
#github.
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.