On Sun, 21 Aug 2016, leif wrote:
I am finding myself unable to fetch the positively reviewed ticket TRAC#21135 :
No. Works for me: $ git fetch -v trac public/21135 && echo OK
$ git fetch -v trac public/21135 fatal: Couldn't find remote ref public/21135 -- Jori Mäntysalo