Re: [sage-devel] Re: git trac fails to checkout a remote branch

2018-11-29 Thread Dima Pasechnik
On Thu, Nov 29, 2018 at 10:43 PM Emmanuel Charpentier wrote: > > The problem might be on trac : git branch --remote | grep 26791 diesn't > return anything... Why? git repo itself does not know anything about trac tickets. It's git trac extension that tries to match tickets to branches somehow.

[sage-devel] Re: git trac fails to checkout a remote branch

2018-11-29 Thread Emmanuel Charpentier
The problem might be on trac : git branch --remote | grep 26791 diesn't return anything... Le jeudi 29 novembre 2018 23:27:04 UTC+1, Emmanuel Charpentier a écrit : > > Trying to test Trac#26791 : > > charpent@zen-book-flip:/usr/local/sage-8$ git trac check