[sage-devel] Re: branch is not clickable

2016-07-05 Thread leif
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

[sage-devel] Re: branch is not clickable

2016-07-05 Thread Paul Masson
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? On Tuesday, July 5, 2016 at 1:15:55 PM UTC-7, Dima Pasechnik wrote: > > I see errors like

[sage-devel] Re: branch is not clickable

2016-07-05 Thread Dima Pasechnik
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