Hi, Rocky Bernstein wrote: > Over the weekend I removed my stale branches from libcdio's git.
I partly failed to do the same with a first deletion candidate. My cheat sheet says: git push origin --delete $branch_name When i do git push origin --delete api-doc i get the reply To scdbac...@git.sv.gnu.org:/srv/git/libcdio.git - [deleted] api-doc But "git branch" still lists it locally and https://git.savannah.gnu.org/cgit/libcdio.git/refs/heads was slow to delete it from its list. Well, meanwhile it is gone remotely. How can i get rid of it locally ? Have a nice day :) Thomas
