A script for browsing PRs by multiple authors on github