No idea why the first git push failed, most likely transient (network outage, somebody just installed updates on our git server, ...). If "git push" worked then it worked, no need to check. But you can always do
git fetch trac public/ticket/16453 git log FETCH_HEAD On Tuesday, March 31, 2015 at 2:26:10 PM UTC+2, Simon King wrote: > > Hi Volker, > > On 2015-03-31, Volker Braun <vbrau...@gmail.com <javascript:>> wrote: > > The commit field is not used for the display afair. You shouldn't be > able > > to change it > > That would be new. In the past, I could change it. > > > I don't know why clicking on the branch doesn't show the diff. > > How can I test if "git push" has really worked as intended (i.e., how to > test the status of the remote branch)? Any idea why "git trac push" > crashed? > > Best regards, > Simon > > > -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
