You are viewing a plain text version of this content. The canonical link for it is here.

Posted to dev@pdfbox.apache.org by Andreas Lehmkuehler <an...@lehmi.de> on 2019/06/26 16:46:33 UTC

Howto close github pull requests

Hi,

I'm not sure if I already shared this information:

If you want to close a pull request of our read only mirror you have to include 
"closes #PR" where "PR" has to be the number of the pull request to be closed in 
your commit message. If there isn't anything to commit you might do a "fake" 
commit like I did in revision 1862161

Cheers,
Andreas

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