Re: [math] github pull requests

2015-08-25 Thread Stefan Bodewig
On 2015-08-25, Luc Maisonobe wrote: > Le 25/08/2015 16:14, Stefan Bodewig a écrit : >> On 2015-08-25, Luc Maisonobe wrote: >>> As the github pull request are not forwarded here, >> You know that you can enable automatic notifications? I don't recall >> the details - probably something involving

Re: [math] github pull requests

2015-08-25 Thread Otmar Ertl
On Tue, Aug 25, 2015 at 4:11 PM, Gilles wrote: > Hello. > > On Tue, 25 Aug 2015 15:29:37 +0200, Luc Maisonobe wrote: >> >> Hi all, >> >> As the github pull request are not forwarded here, there are two new >> requests since yesterday: >> >> > > >

Re: [math] github pull requests

2015-08-25 Thread Luc Maisonobe
Le 25/08/2015 16:14, Stefan Bodewig a écrit : > On 2015-08-25, Luc Maisonobe wrote: > >> As the github pull request are not forwarded here, > > You know that you can enable automatic notifications? I don't recall > the details - probably something involving a ticket for INFRA - but we > do see P

Re: [math] github pull requests

2015-08-25 Thread Stefan Bodewig
On 2015-08-25, Luc Maisonobe wrote: > As the github pull request are not forwarded here, You know that you can enable automatic notifications? I don't recall the details - probably something involving a ticket for INFRA - but we do see PR notifications in Ant for example. Stefan --

Re: [math] github pull requests

2015-08-25 Thread Gilles
Hello. On Tue, 25 Aug 2015 15:29:37 +0200, Luc Maisonobe wrote: Hi all, As the github pull request are not forwarded here, there are two new requests since yesterday: I don't understand that one.

[math] github pull requests

2015-08-25 Thread Luc Maisonobe
Hi all, As the github pull request are not forwarded here, there are two new requests since yesterday: What do you think about them? Luc ---