doctrine/doctrine2 — comment on commit bd5393a3187ab25136bcd8e5efea894928697e95
File:  line 0
By jwage:

We should do that as well, but we should still PR everything. You can merge it right away, it just notifies people, sends e-mails, etc. so people can give feedback and be aware of the changes, and maybe provide a comment or some valuable feedback. We can setup a bot to watch the pull requests and run the tests against them and report back in the comments.