Re: [sage-devel] We are missing Cygwin patchbots

2019-12-09 Thread E. Madison Bray
On Mon, Dec 9, 2019 at 4:40 PM E. Madison Bray wrote: > > On Mon, Dec 9, 2019 at 12:56 PM Dima Pasechnik wrote: > > > > On Mon, Dec 9, 2019 at 11:37 AM E. Madison Bray > > wrote: > > > > > > Hi Samuel, > > > > > > Coincidentally I just commented on this problem in another ticket, and > > > then

Re: [sage-devel] We are missing Cygwin patchbots

2019-12-09 Thread E. Madison Bray
On Mon, Dec 9, 2019 at 12:56 PM Dima Pasechnik wrote: > > On Mon, Dec 9, 2019 at 11:37 AM E. Madison Bray wrote: > > > > Hi Samuel, > > > > Coincidentally I just commented on this problem in another ticket, and > > then I saw this post. I'm going to see if I can get my Cygwin > > patchbot up and

Re: [sage-devel] We are missing Cygwin patchbots

2019-12-09 Thread Dima Pasechnik
On Mon, Dec 9, 2019 at 11:37 AM E. Madison Bray wrote: > > Hi Samuel, > > Coincidentally I just commented on this problem in another ticket, and > then I saw this post. I'm going to see if I can get my Cygwin > patchbot up and running again. But it would be helpful to have > another. > > Thanks

Re: [sage-devel] We are missing Cygwin patchbots

2019-12-09 Thread E. Madison Bray
Hi Samuel, Coincidentally I just commented on this problem in another ticket, and then I saw this post. I'm going to see if I can get my Cygwin patchbot up and running again. But it would be helpful to have another. Thanks for putting out the call. If anyone wants to try there are instructions