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:
  
 ```