tg export: Really remove TopGit metadata files when exporting

diff --git a/tg-export.sh b/tg-export.sh
index 9f1930027e6bc6325d170b6e83fe8db2e2bed11f..db491691e6b17923b78b20389a0af59414ec20a1 100644 (file)
--- a/tg-export.sh
+++ b/tg-export.sh
@@ -53,7 +53,7 @@ pretty_tree()
 {
        (export GIT_INDEX_FILE="$playground/^index"
         git read-tree "$1"
-        git update-index --force-remove ".top*"
+        git update-index --force-remove ".topmsg" ".topdeps"
         git write-tree)
 }