On Mon, Feb 26, 2018 at 3:28 PM, Eric Gourgoulhon <egourgoul...@gmail.com> wrote: > Another (probably related) trac issue is that after typing the following > command in a linux console: > git push trac HEAD:<something> > everything seems OK except that one does not get the console prompt back (as > if the command has not terminated). > Looking at the ticket page, the push seems effective though...
That's right! This happened to me last Friday too (though it hasn't happened the last couple times I tried pushing). This happens, probably, because on the upstream repository we have a post-receive hook that updates tickets when you push to the branch for a ticket. It does this through the Trac server's XML-RPC API. Then if that ticket update request is hanging, so to does the post-receive hook, and so your client hangs waiting for the response that the push completed successfully... -- 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.
