9456a4e922
Some checks failed
CI / Run lints and checks (push) Failing after 47s
CI / Run tests (push) Failing after 1s
CI / Run race tests (push) Failing after 5s
CI / Build CLI docs (push) Has been skipped
CI / Run buf actions (push) Failing after 5s
CodeQL / Analyze (go) (push) Failing after 3s
CodeQL / Analyze (javascript) (push) Failing after 2s
Docker Image Scanners / scanners (push) Failing after 3s
Format / format (push) Failing after 3s
Synchronize Issue Labels / Synchronize Issue Labels (push) Has been skipped
CI / Generate release (push) Has been skipped
CI / Draft newsletter (push) Has been skipped
CI / Pending approval Slack notification (push) Has been skipped
CI / Send newsletter (push) Has been skipped
59 lines
1.8 KiB
Bash
Generated
59 lines
1.8 KiB
Bash
Generated
#!/bin/sh
|
|
# ref: https://help.github.com/articles/adding-an-existing-project-to-github-using-the-command-line/
|
|
#
|
|
# Usage example: /bin/sh ./git_push.sh wing328 openapi-pestore-perl "minor update" "gitlab.com"
|
|
|
|
git_user_id=$1
|
|
git_repo_id=$2
|
|
release_note=$3
|
|
git_host=$4
|
|
|
|
if [ "$git_host" = "" ]; then
|
|
git_host="github.com"
|
|
echo "[INFO] No command line input provided. Set \$git_host to $git_host"
|
|
fi
|
|
|
|
if [ "$git_user_id" = "" ]; then
|
|
git_user_id="ory"
|
|
echo "[INFO] No command line input provided. Set \$git_user_id to $git_user_id"
|
|
fi
|
|
|
|
if [ "$git_repo_id" = "" ]; then
|
|
git_repo_id="keto-client-go"
|
|
echo "[INFO] No command line input provided. Set \$git_repo_id to $git_repo_id"
|
|
fi
|
|
|
|
if [ "$release_note" = "" ]; then
|
|
release_note="Minor update"
|
|
echo "[INFO] No command line input provided. Set \$release_note to $release_note"
|
|
fi
|
|
|
|
# Initialize the local directory as a Git repository
|
|
git init
|
|
|
|
# Adds the files in the local repository and stages them for commit.
|
|
git add .
|
|
|
|
# Commits the tracked changes and prepares them to be pushed to a remote repository.
|
|
git commit -m "$release_note"
|
|
|
|
# Sets the new remote
|
|
git_remote=`git remote`
|
|
if [ "$git_remote" = "" ]; then # git remote not defined
|
|
|
|
if [ "$GIT_TOKEN" = "" ]; then
|
|
echo "[INFO] \$GIT_TOKEN (environment variable) is not set. Using the git credential in your environment."
|
|
git remote add origin https://${git_host}/${git_user_id}/${git_repo_id}.git
|
|
else
|
|
git remote add origin https://${git_user_id}:${GIT_TOKEN}@${git_host}/${git_user_id}/${git_repo_id}.git
|
|
fi
|
|
|
|
fi
|
|
|
|
git pull origin master
|
|
|
|
# Pushes (Forces) the changes in the local repository up to the remote repository
|
|
echo "Git pushing to https://${git_host}/${git_user_id}/${git_repo_id}.git"
|
|
git push origin master 2>&1 | grep -v 'To https'
|
|
|