On Sun, Jun 19, 2016 at 5:39 AM, Stephan Ehlen <stephan.j.eh...@gmail.com> wrote: > I'm having a lot of trouble pushing changes using git trac push - could this > be related? > Using the web interface works without any problems for me - except that in > Safari, I don't stay logged in at all but it works fine in Chrome. > But pushing just works every 10th time I try and otherwise gives me a > timeout.
I've disabled a few things that might be causing trouble; can you try again? William > > > On Saturday, June 18, 2016 at 3:25:40 AM UTC-4, Erik Bray wrote: >> >> On Jun 18, 2016 09:07, "Jeroen Demeyer" <jdem...@cage.ugent.be> wrote: >> > >> > On 2016-06-17 16:39, Erik Bray wrote: >> >> >> >> On Fri, Jun 17, 2016 at 1:52 PM, Jeroen Demeyer <jdem...@cage.ugent.be> >> >> wrote: >> >>> >> >>> On 2016-06-16 09:09, Jeroen Demeyer wrote: >> >>>> >> >>>> >> >>>> On 2016-06-16 00:05, William Stein wrote: >> >>>>> >> >>>>> >> >>>>> I have also rebooted the live actual trac.sagemath.org server now. >> >>>>> Hopefully this will make it faster... >> >>>> >> >>>> >> >>>> >> >>>> It still doesn't work. I am not able to change the description of >> >>>> ticket >> >>>> #20686 for example. >> >>> >> >>> >> >>> >> >>> For what it's worth: it really seems to depend on the ticket number. >> >>> Most >> >>> tickets work without problems, but #20686 for example is still broken. >> >> >> >> >> >> Bizarrely I was able to update this ticket fine over SSL, but not >> >> without SSL. >> > >> > >> > With SSL, I get a 500 Internal Server Error. >> > >> > Without SSL, it's still broken. >> >> That's because I took down the SSL site before leaving work yesterday >> while just trying things. I guess I didn't put it back up again. > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- William (http://wstein.org) -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
