delete remote and locale devel-cur-* branch

branch_cleanup.sh

# https://stackoverflow.com/questions/2003505/how-do-i-delete-a-git-branch-locally-and-remotely

release_in_question="9.0.3.290.02"
future_release=""

git checkout master

# get latest from remote
git pull origin pull

# start with remotes: delete remote branch named devel-cur-*

#git push origin --delete --force $(git branch -r --list 'devel-cur-*')
git push origin --delete --force "devel-cur-$release_in_question"

# 1. rename local branch to a different name, will become protected branch
git branch -m "devel-cur-$release_in_question" "prod-'$release_in_question'"

# push this newly renamed branch to gitlab
git push origin "prod-'$release_in_question'":"prod-'$release_in_question'"

# 2. rename next release to become devel-cur
git branch -m "devel-$future_release" "devel-cur-'$future_release'"

# push this newly renamed branch to gitlab
git push origin "devel-cur-'$future_release'":"devel-cur-'$future_release'"


# use below to checkout init-file branch and start new release from there

git checkout -b "devel-$future_release" dev