Git extension to handle GitHub Pull Requests