ant-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Stefan Bodewig <>
Subject Re: Git workflow
Date Sun, 11 Jan 2015 17:46:33 GMT
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.


To unsubscribe, e-mail:
For additional commands, e-mail:

View raw message