forked from loafle/openapi-generator-original
25036e48d5
* [scala] Set support for unique arrays This includes and builds upon community contribution for better Set support in Scala. It makes property + model work as expected with Set and default values across all Scala generators. Included tests to account for new changes. This also reverts the community contribution to remove ListBuffer imports and change the default for array to ListBuffer. Users should use the instantiation types map to modify the desired array instantiation type. Any new default should target a new minor release after community discussion, as it affects all existing SDKs generated with openapi-generator. * [scala] Improve default handling of monadic collection type * [scala] Regenerate samples * Update ScalaPlayFrameworkServerCodegen.java Scala Play defaulted to List and should continue to do so. Co-authored-by: František Kocun <frantisek.kocun@gmail.com>
59 lines
1.8 KiB
Bash
59 lines
1.8 KiB
Bash
#!/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="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://${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'
|
|
|