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 from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

[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': 
> 'refs/remotes/trac/u/embray/python3/sage-rings-polynomial-polydict' 
> exists; cannot create 
> 'refs/remotes/trac/u/embray/python3/sage-rings-polynomial-polydict/misc' 
>  From trac.sagemath.org:sage 
>   ! [new branch] 
> u/embray/python3/sage-rings-polynomial-polydict/misc -> 
> trac/u/embray/python3/sage-rings-polynomial-polydict/misc  (unable to 
> update local ref) 
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.