Hi Claus

+1

By the way, we can close the PR using a empty commit on master (the github integration will close it for us):

git commit --allow-empty -m "This closes #xxxx"

where xxxx is the PR ID.

Regards
JB

On 11/25/2016 11:16 AM, Claus Ibsen wrote:
Hi

We got a bunch of old PRs that for various reasons has not been merged.
I would like to cleanup this and close them before the end of the year.

I added comments to ask people to close those old PRs.


--
Jean-Baptiste Onofré
jbono...@apache.org
http://blog.nanthrax.net
Talend - http://www.talend.com

Reply via email to