Git extension to create GitHub Pull Requests