Re: Removed outdated PRs

2018-05-02 Thread Jongyoul Lee
We can use commit messages with `--allow-empty` option. https://help.github.com/articles/closing-issues-using-keywords/ On Wed, May 2, 2018 at 4:44 PM, Prabhjyot Singh wrote: > +1 for all stale PRs. > > On 2 May 2018 at 13:07, Jeff Zhang wrote: > > > +1 > > > > BTW, does it require permission

Re: Removed outdated PRs

2018-05-02 Thread Prabhjyot Singh
+1 for all stale PRs. On 2 May 2018 at 13:07, Jeff Zhang wrote: > +1 > > BTW, does it require permission ? I tried to do that before, but don't > find the close button. > > > > Jongyoul Lee 于2018年5月2日周三 下午3:33写道: > > > Hi, dev, > > > > I'll close old PRs which were made by the end of 2016 to cl

Re: Removed outdated PRs

2018-05-02 Thread Jeff Zhang
+1 BTW, does it require permission ? I tried to do that before, but don't find the close button. Jongyoul Lee 于2018年5月2日周三 下午3:33写道: > Hi, dev, > > I'll close old PRs which were made by the end of 2016 to clean up the list. > > JL > > -- > 이종열, Jongyoul Lee, 李宗烈 > http://madeng.net >

Removed outdated PRs

2018-05-02 Thread Jongyoul Lee
Hi, dev, I'll close old PRs which were made by the end of 2016 to clean up the list. JL -- 이종열, Jongyoul Lee, 李宗烈 http://madeng.net