[scripts] rm refs/original at the end

Nicolab · Jun 24, 2020 · e6011cb · e6011cb
1 parent 665d2de
commit e6011cb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/clean_docs_history b/scripts/clean_docs_history
@@ -23,6 +23,7 @@ git filter-branch -f --tree-filter ' ' HEAD --all
 # Clean unreachable objects (not related to a commit)
 git reflog expire --expire-unreachable=all --all
 git gc --aggressive --prune=now
+rm -rf .git/refs/original/
 
 # Show stats
 git gc