#!/bin/bash TAG="$1" if [ -z $TAG ]; then echo "Failed: Tag was not specified" exit 1 fi echo "Tag to set: $TAG" if [ -z $GIT_USER_EMAIL ] || [ -z $GIT_USER_NAME ]; then echo "Failed: Git user name and email must be defined via env" exit 1 fi git config user.email "$GIT_USER_EMAIL" git config user.name "$GIT_USER_NAME" # REPO_URL=$(git remote -v | grep -m1 '^origin' | sed -Ene 's#.*(https://[^[:space:]]+).*#\1#p') # echo "Repo URL: $REPO_URL" # PUSH_URL=$(echo "$REPO_URL" | sed -Ene 's|(https://)|\1'"$GITHUB_API_KEY"'@|p') # # e.g. https://$GITHUB_API_KEY@github.com/larshp/abapGit.git git remote -v git tag $TAG || exit 1 echo "New tag list:" git tag git push origin $TAG || exit 1