Re: GitHub pull request housekeeping

2016-03-24 Thread Jesse
Yeah, I also have done the allow-empty way: git commit --allow-empty -m "Closing stale pull requests: close #99, close #46, close #82" ... @purplecabbage risingj.com On Wed, Mar 23, 2016 at 12:01 PM, Carlos Santana wrote: > I have done cleaning by using coho instructions on other repos in th

Re: GitHub pull request housekeeping

2016-03-23 Thread Carlos Santana
I have done cleaning by using coho instructions on other repos in the past You can close multiple PRs with one commit - Carlos @csantanapr > On Mar 23, 2016, at 4:10 PM, julio cesar sanchez > wrote: > > On cordova coho there is a section "Stale Pull Requests" > > To close a pull request tha

Re: GitHub pull request housekeeping

2016-03-23 Thread julio cesar sanchez
On cordova coho there is a section "Stale Pull Requests" To close a pull request that is no longer relevant / active: - Create an empty commit in the repo of the pull request via: - `git commit --allow-empty -m "Closing stale pull request: close #99" So I think it can be done without ed