chiark
/
gitweb
/
~ian
/
topgit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
tg export: Really remove TopGit metadata files when exporting
[topgit.git]
/
tg-export.sh
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"
{
(export GIT_INDEX_FILE="$playground/^index"
git read-tree "$1"
- git update-index --force-remove ".top
*
"
+ git update-index --force-remove ".top
msg" ".topdeps
"
git write-tree)
}
git write-tree)
}