On Wed, 5 Nov 2014, Dominik Stadler wrote:
I tried to close a pull request on the Github mirror of Apache POI, but could not, anyone know how I can get this right?
Normally you just put the magic "closes #githubnumber" in the commit message, and the ASF GitHub bot spots it and does the magic itself.
However, it looks like the bot is on strike at the moment. I know infra have been shuffling services onto new machines lately, so if it isn't working next week it'd be worth dropping infra@ a note about it
Nick --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
