5 Commits

Author SHA1 Message Date
676e5563b9 Only allow integers for input to github-apply
Remove some unneded code from github-remove
2017-02-17 21:49:29 -06:00
6b33bdc949 require -d -s or -r 2017-02-17 21:39:22 -06:00
3c22633cea Port remove script to python 2017-02-17 21:33:09 -06:00
bf32690abc Port remove script to python 2017-02-17 21:29:52 -06:00
62c49fedf7 Scripts to easily apply and remove github Pull Requests 2017-02-15 15:07:24 -06:00