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.
Posts from 10 December 2020
Back to /, 2020, December 2020.
Happy fifth birthday to PHPMiNDS - here's to five more years of a great meetup!
by Jamie Tanna
.
← 9 December 2020 11 December 2020 →