ref: 0bf1028ead0432d814276ef4341943f4d5cb184d
parent: 61cc0694649a4d4b109d168032f431751f57f083
author: Ori Bernstein <[email protected]>
date: Fri Mar 29 17:38:15 EDT 2024
git/branch: don't add dirs to removed file list
--- a/sys/src/cmd/git/branch
+++ b/sys/src/cmd/git/branch
@@ -115,8 +115,10 @@
}
for(d in $deleted){- rm -f $d
- echo R NOQID 0 $d >> .git/INDEX9
+ if(! test -d $d){+ rm -f $d
+ echo R NOQID 0 $d >> .git/INDEX9
+ }
}
echo ref: $new > .git/HEAD