Improve configs

This commit is contained in:
Tobias Reisinger 2022-10-24 16:57:31 +02:00
parent f3e91cd9dc
commit 6c16a85be2
Signed by: serguzim
GPG key ID: 13AD60C237A28DFE
8 changed files with 10 additions and 7 deletions

View file

@ -1,7 +1,5 @@
#!/usr/bin/env sh
set -e
echo "Deleting tag from origin"
git push --delete origin "$1"