Thanks for the link, but inserting commits by hacking the infrastructure isn't quite the same as having a pull request officially merged.

Even the Linux infrastructure was hacked not too long ago. More such example here: https://news.ycombinator.com/item?id=4464303