From c9ad4a18ee6cfb62c393f92d0a82358557d893a4 Mon Sep 17 00:00:00 2001
From: Mohan Boddu <mboddu@bhujji.com>
Date: Tue, 8 Sep 2020 15:36:28 -0400
Subject: [PATCH] Removing refs if they are part of packed-refs file

Signed-off-by: Mohan Boddu <mboddu@bhujji.com>
---
 remove_branch_distgit.md | 7 +++++++
 1 file changed, 7 insertions(+)

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/<namespace>/<foo>.git
 mv refs/heads/<branch> heads_<branch>
 ```
 
+- Sometimes the ref is in the `packed-refs` file, in that case:
+
+```
+grep <branch> packed-refs > heads_<branch>
+Then remove the line from `packed-refs` file
+```
+
 - On your local clone of <foo>, check that the branch was deleted upstream:
  
 ```