diff --git a/.gitconfig.local b/.gitconfig.local index 582a507..2adac8c 100644 --- a/.gitconfig.local +++ b/.gitconfig.local @@ -31,6 +31,7 @@ exclude-file = !git update-index --assume-unchanged c = commit --author='Marcin Woźniak -s' cw = commit --author='Marcin Woźniak -s' + retag = "!f() { if [ -z \"$1\" ]; then echo \"No version provided. Skipping git push.\"; else git tag --delete $1 2>/dev/null; git tag -a $1 -m \"Version $1\"; git push --tags -f; git push -f; fi; }; f" [url "git@github.com:"] insteadOf = "https://github.com/"