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 (--al
Github user asfgit closed the pull request at:
https://github.com/apache/ant-ivyde/pull/1
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is ena
Github user nlalevee commented on the pull request:
https://github.com/apache/ant-ivy/pull/3#issuecomment-69492990
merged. Thanks for the patch!
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not hav
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 ?
Nicolas
> Le 11 janv. 2015 à 13:17, Nicolas Lalevée a
> écrit :
>
>
>> Le 7 janv. 2015 à 05:57, Stefan Bodewig a écrit :
>>
>> On 2015-01-07, Nicolas Lalevée wrote
> Le 7 janv. 2015 à 05:57, Stefan Bodewig a écrit :
>
> On 2015-01-07, Nicolas Lalevée wrote:
>
>> For instance, to get commits from one branch to the other, I have seen
>> two ways: via merge or via cherry-pick.
>> Since our branches are meant to diverge à some point, I think using
>> cherry-p
Github user nlalevee commented on the pull request:
https://github.com/apache/ant-ivy/pull/5#issuecomment-69492417
merged. Thanks !
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this featur