archiva-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Martin <>
Subject github pull requests
Date Mon, 31 Jul 2017 21:35:13 GMT
Hi Olivier,

how do you merge github pull requests into the master branch?
In your log statements I only see messages like 'merge branch pr/28', but 
these are not published branches as I see, I think you create them locally 
How do you create them? And how does github recognize that the pr is merged 
into the master? The github email says you should add "This closes #30" to the 
commit message. But I see no such commit messages in your pr merges.



View raw message