Are you really sure you want to depend on GitHub pull requests?
Yes. That is the direction we have chosen to go.