Revision: 794
http://svn.savannah.gnu.org/viewvc/?view=rev&root=administration&revision=794
Author: ineiev
Date: 2024-06-13 23:44:16 -0400 (Thu, 13 Jun 2024)
Log Message:
-----------
amend documentation on removing branches
Add an anchor to 'Removing a branch'. Replace a reference to a third-party
unmaintained script with a note about the default branch.
Modified Paths:
--------------
trunk/sviki/UsingGit.mdwn
Modified: trunk/sviki/UsingGit.mdwn
===================================================================
--- trunk/sviki/UsingGit.mdwn 2024-06-11 16:26:01 UTC (rev 793)
+++ trunk/sviki/UsingGit.mdwn 2024-06-14 03:44:16 UTC (rev 794)
@@ -402,7 +402,7 @@
cd: 491: can't cd to /src/external-vcs/libcdio/.git/refs/remotes/origin
Warning: Remote HEAD refers to nonexistent ref, unable to checkout.
-## Removing a branch
+## <a id='removing-branch'></a>Removing a branch
We don't really like this, but there's a way to remove remote branches.
We don't like it because this allow group members to potentially
@@ -417,9 +417,7 @@
git push origin :mybranch
-For an easier syntax, you can use `git-publish-branch -d`
-(the original location is offline but an archived copy may be found at
-<https://web.archive.org/web/20170128205942/http://git-wt-commit.rubyforge.org/>).
+Git still will refuse to delete the default branch this way.
## Non-Fast-Forward commits
