commons-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Emmanuel Bourg <>
Subject Re: [MATH] Github pull request notifications don't work
Date Sun, 11 Jan 2015 13:03:06 GMT
Le 11/01/2015 11:23, Luc Maisonobe a écrit :

> Does anyone know how to handle this?

If a commit message contains a reference to the issue number it'll be
closed automatically (For example "Fixed issue foo (#123)").
Alternatively the infra team can be asked to close the issue.

Emmanuel Bourg

To unsubscribe, e-mail:
For additional commands, e-mail:

View raw message