command line tool to facilitate github pull requests