Ports: Place tags at important points in the commit history

This helps with easier rebasing and for easier comparing or returning to
the state at which the last actual on-disk patches were.
This commit is contained in:
Tim Schumacher 2022-09-17 00:19:34 +02:00 committed by Ali Mohammad Pur
parent 1b9fb7041d
commit f6005764d7
Notes: sideshowbarker 2024-07-17 06:52:38 +09:00

View file

@ -718,6 +718,7 @@ do_dev() {
git config core.autocrlf false
git add --all --force
git commit -a -m 'Initial import'
git tag import
fi
# Import patches as commits, or ask the user to commit them
@ -792,6 +793,9 @@ do_dev() {
}
done
fi
git tag original
popd
)