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 infras

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 https://news.ycombinator.com/item?id=4464303