ant-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Stefan Bodewig <bode...@apache.org>
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.

Stefan

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@ant.apache.org
For additional commands, e-mail: dev-help@ant.apache.org


Mime
View raw message