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: [email protected] For additional commands, e-mail: [email protected]
