Commit aa4d25f2 authored by Vít Starý Novotný's avatar Vít Starý Novotný
Browse files

install-git.sh now pushes with force.

parent bbd75bf5

install-git.sh

+1 −1
Original line number Diff line number Diff line
@@ -5,4 +5,4 @@ VERSION="$(<VERSION.tex \ 
[[ -z "$VERSION" ]] && exit 2



git tag "$VERSION"

git push all master --tags
 
git push all master --tags --force