Sorry for the delay, I’ve been traveling. It did work immediately. Thanks!
Stephan > On Jun 19, 2016, at 20:17, William Stein <wst...@gmail.com> wrote: > > 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 a topic in the Google > Groups "sage-devel" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/sage-devel/XMvRoZvEVIQ/unsubscribe. > To unsubscribe from this group and all its topics, 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. -- 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.
