3 Commits

Author	SHA1	Message	Date
Tony Murray	a688a77864	fix: github-apply sometimes fails on PRs with lots of commits (#7604) ... .patch is all commits individually, .diff is all commits merged	2017-11-01 21:19:41 +00:00
Tony Murray	676e5563b9	Only allow integers for input to github-apply ... Remove some unneded code from github-remove	2017-02-17 21:49:29 -06:00
Tony Murray	62c49fedf7	Scripts to easily apply and remove github Pull Requests	2017-02-15 15:07:24 -06:00