Infra now offers read/write access to github via a service called 'gitbox'[1]. PMCs have the option to join the service and then make use of whichever github features they want (like PRs).
Thoughts ? [1]: https://gitbox.apache.org/ -- ------------------------ Guillaume Nodet