configs/scatterd-dotfiles
1
0
Fork 0
Code Issues 2 Pull requests 1 Projects Releases Packages Wiki Activity Actions

Remove no-longer functional git-pr script

Browse source 
The Github `hub` utilty has added a `pr` subcommand, which takes
precedence over `git-pr` in execution order, so this script is no longer
accessible with `git pr` or `hub pr`.
This commit is contained in:
Geoff Harcourt 2018-06-12 10:13:57 -04:00 • committed by Geoff Harcourt
parent 6e1c567653
commit ee30830241
1 changed files with 0 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
bin/git-pr
View file

@ -1,5 +0,0 @@
#!/bin/sh
set -e
hub pull-request