On 2015-01-11, Nicolas Lalevée wrote: > By the way, is there any way to close manually the pull requests in > github ? The only way is to reference it in a git commit ?
Probably some infra folks can since you need write access to the github apache organization. You can create empty commits (--allow-empty), I've done so for one invalid PR already. Stefan --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail: dev-h...@ant.apache.org
