the way to close is to add "closes #x" to your commit message
On Wed, Jan 29, 2014 at 4:36 PM, Benson Margulies <[email protected]>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: [email protected] > For additional commands, e-mail: [email protected] > >
