Hi ! Yesterday or the day before, the trac server was not accessible (or really really slow). And when I tried to save my work on the sage code source, using the command "git push trac HEAD:u/mercatp/b-adic", it failed. And after that, git tells me that everything is up-to-date, but in fact the two commits that I tried to push when the trac server was not responsive doesn't appear to be on the trac server. How can I correct this problem ? Paul
-- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
