the way to close is to add "closes #x" to your commit message
On Wed, Jan 29, 2014 at 4:36 PM, Benson Margulies <bimargul...@gmail.com>wrote: > As a committer can I get my github ID added so that I can close PR's? > > bimargulies would be the relevant ID. > > --------------------------------------------------------------------- > To unsubscribe, e-mail: dev-unsubscr...@lucene.apache.org > For additional commands, e-mail: dev-h...@lucene.apache.org > >