git/revert: revert

the old implementation was correct; we want to
mark it dirty and let walk sort it out.
This commit is contained in:
Ori Bernstein 2021-06-29 20:03:26 +00:00
parent ca6058e0e1
commit dd7352fd35

View file

@ -14,9 +14,7 @@ if(~ $#query 1)
files=`$nl{cleanname -d $gitrel $*} files=`$nl{cleanname -d $gitrel $*}
for(f in `$nl{cd $commit/tree/ && walk -f $files}){ for(f in `$nl{cd $commit/tree/ && walk -f $files}){
mkdir -p `{basename -d $f} mkdir -p `{basename -d $f}
if(cp -x -- $commit/tree/$f $f) cp -x -- $commit/tree/$f $f
walk -eq $f > .git/index9/tracked/$f git/add $f
if not
echo -n > .git/index9/tracked/$f
} }
exit '' exit ''