commons-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Benedikt Ritter <>
Subject [MATH] Github pull request notifications don't work
Date Thu, 08 Jan 2015 10:53:05 GMT

it looks like the push request notifications are not set up for the new
repository. I've opened but
nothing was send to the list. Since I don't know whether this is
intentionally, I'll not create an INFRA ticket for this.


  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message