In reply to Piet.

Thanks for stopping by to share the Wordpress.org perspective, Otto. You wrote:

I specifically dislike Github, mainly because of pull-requests. Seriously, these are the bane of my existence.

Many of us really like pull requests as it allows us to quickly make changes and propose them to the author in a simple way (or the reverse, to incorporate other people's changes quickly).

This is exactly what we mean when we external developers talk about the arrogance of Wordpress core and Wordpress.org by extension. Because you, Otto Wood, dislike Github, the rest of us have to stand on our heads to get our plugins on Github to deploy to Wordpress.org.

As Coen Jacobs mentioned, the webhooks are already there. You just refuse to tap into them.

I do hope you will eventually listen to your contributors, Otto, the plugin developers who have made Wordpress the world's most popular CMS.