Re: [sage-devel] Re: git fetch fails

2018-10-22 Thread Jeroen Demeyer
On 2018-10-21 11:57, Volker Braun wrote: Try "git remote prune origin" or "git remote update origin --prune" Thanks. The first one worked. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails

[sage-devel] Re: git fetch fails

2018-10-21 Thread Volker Braun
Try "git remote prune origin" or "git remote update origin --prune" On Sunday, October 21, 2018 at 11:13:18 AM UTC+2, Jeroen Demeyer wrote: > > Any ideas? > > error: cannot lock ref > 'refs/remotes/trac/u/embray/python3/sage-rings-polynomial-polydict/misc': >