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