[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Libcdio-devel] About old branches of mine
From: |
Thomas Schmitt |
Subject: |
Re: [Libcdio-devel] About old branches of mine |
Date: |
Mon, 03 Apr 2023 15:32:31 +0200 |
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 scdbackup@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