diff --git a/remove_branch_distgit.md b/remove_branch_distgit.md index 711b65e..82ee61a 100644 --- a/remove_branch_distgit.md +++ b/remove_branch_distgit.md @@ -67,6 +67,13 @@ cd /srv/git/repositories//.git mv refs/heads/ heads_ ``` +- Sometimes the ref is in the `packed-refs` file, in that case: + +``` +grep packed-refs > heads_ +Then remove the line from `packed-refs` file +``` + - On your local clone of , check that the branch was deleted upstream: ```