Hi folks! 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.
Personally, I find PR management via the github interface way faster than other options. In particular, since it has a usable mobile interface I'm able to use commute time to do reviews via it. What do folks think about 1) opting in generally 2) using github PRs directly 3) actively encouraging our community to switch to github PRs 4) using github issues [1]: https://gitbox.apache.org/ -- busbey
