[racket-dev] Closing pull requests

2012-11-17 Thread Neil Toronto
How do I close pull requests made to the plt/racket repo on GitHub? Am I authorized to do that in the first place? Neil ⊥ _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] Closing pull requests

2012-11-18 Thread Sam Tobin-Hochstadt
No, only Eli can do that (or the submitter). On Sun, Nov 18, 2012 at 1:30 AM, Neil Toronto wrote: > How do I close pull requests made to the plt/racket repo on GitHub? Am I > authorized to do that in the first place? > > Neil ⊥ > _ > Racket Developers list: > http://list

Re: [racket-dev] Closing pull requests

2012-11-24 Thread Eli Barzilay
On Sunday, Neil Toronto wrote: > How do I close pull requests made to the plt/racket repo on GitHub? > Am I authorized to do that in the first place? You can't. The reason for this is that our github repo is just a mirror, and they don't have a way to let people edit issues and pull requests whil