Le samedi 22 septembre 2018 20:33:23 UTC+2, Dima Pasechnik a écrit : > > On Sat, Sep 22, 2018 at 7:27 PM Emmanuel Charpentier > <emanuel.c...@gmail.com <javascript:>> wrote: > > > > Thanks, Dimitri ! > > > > But I'm not out of the woods : I do not know how to delete this branch. > Git tells me it doesn't know about it : > > > > charpent@asus16-ec:/usr/local/sage-8$ git branch -d > u/embray/python3/sage-rings-polynomial-polydict > > error: branche 'u/embray/python3/sage-rings-polynomial-polydict' non > trouvée. > > and how about u/embray/python3/sage-rings-polynomial-polydict/misc ? > Does it exist? If yes, I'd try removing it and pull again... >
Same problem : charpent@asus16-ec:/usr/local/sage-8$ git branch -d u/embray/python3/sage-rings-polynomial-polydict/misc error: branche 'u/embray/python3/sage-rings-polynomial-polydict/misc' non trouvée. [ Bandwidth savings : Snip... ] -- 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.
