Permalink
Cannot retrieve contributors at this time
Name already in use
A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
inc-validator-client-ruby/git_push.sh
Go to fileThis commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
55 lines (42 sloc)
1.69 KB
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/sh | |
# | |
# Generated by: https://github.com/swagger-api/swagger-codegen.git | |
# | |
# ref: https://help.github.com/articles/adding-an-existing-project-to-github-using-the-command-line/ | |
# | |
# Usage example: /bin/sh ./git_push.sh wing328 swagger-petstore-perl "minor update" | |
git_user_id=$1 | |
git_repo_id=$2 | |
release_note=$3 | |
if [ "$git_user_id" = "" ]; then | |
git_user_id="GIT_USER_ID" | |
echo "[INFO] No command line input provided. Set \$git_user_id to $git_user_id" | |
fi | |
if [ "$git_repo_id" = "" ]; then | |
git_repo_id="GIT_REPO_ID" | |
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://github.com/${git_user_id}/${git_repo_id}.git | |
else | |
git remote add origin https://${git_user_id}:${GIT_TOKEN}@github.com/${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://github.com/${git_user_id}/${git_repo_id}.git" | |
git push origin master 2>&1 | grep -v 'To https' | |