The split between Github PRs and RB is very confusing and not well explained at https://pantsbuild.github.io/howto_contribute.html (especially for users who are not committers, and how to communicate when what is in what state)