More moving stuff around

This commit is contained in:
2017-10-16 16:05:15 +02:00
parent bade4f97ae
commit 363839b1e2
10 changed files with 23 additions and 5 deletions

19
dev/git/git-on-tree Executable file
View File

@@ -0,0 +1,19 @@
#!/bin/bash
start_rev=$1
end_rev=$2
cmd=$3
function main()
{
revs=`git rev-list --reverse ${start_rev}..${end_rev}`
for rev in $revs; do
git checkout --quiet $rev
eval $cmd
git reset --hard --quiet
done
git checkout ${end_rev}
}
main "$@"