On Thu, Aug 22, 2019 at 03:02:04AM +0200, Frederic Weisbecker wrote: > > which repeats every time I fetch. I can't of anythign particular on > > my side that would cause this. > > Yeah I had to run "git remote prune tip" and fetch again. > > Apparently there was an old remote branch tip/WIP.timers and git > seem to refuse to have a new subpath branch.
Thanks, that seems to have fixed the issue for me.
