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
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
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
3 matches
Mail list logo