Paul Masson wrote: > I just pushed to #9654 and the commit is not appearing. On a second push > Git said everything is up to date, so I'm assuming the commit is there > but not showing up in the web interface. What's up?
While it's tedious, you can always check https://git.sagemath.org/sage.git/log/?h=u/paulmasson/9654 (provided you know the branch). -leif > On Tuesday, July 5, 2016 at 1:15:55 PM UTC-7, Dima Pasechnik wrote: > > I see errors like MethodNotFound: RPC method "search.branch" not found > > in trac log. Erik was changing things today, perhaps this is the > fallout of it. > > > > On Tuesday, July 5, 2016 at 8:39:36 PM UTC+1, Frédéric Chapoton wrote: > > It seems that something is broken in trac, as the branch name is > not green or red, and not clickable > > This is a very crucial tool for me, and for others too probably. > > Frédéric -- 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.