You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
28 lines
889 B
28 lines
889 B
#!/bin/sh
|
|
|
|
# github-public-newbranch.bash - create public branch from the security repository
|
|
|
|
set -euo pipefail
|
|
|
|
# Create new branch
|
|
BRANCH="${CIRCLE_TAG:-v0.0.0}-security-`date -u +%Y%m%d%H%M%S`"
|
|
# Check if the patch release exist already as a branch
|
|
if [ -n "`git branch | grep '${BRANCH}'`" ]; then
|
|
echo "WARNING: Branch ${BRANCH} already exists."
|
|
else
|
|
echo "Creating branch ${BRANCH}."
|
|
git branch "${BRANCH}"
|
|
fi
|
|
|
|
# ... and check it out
|
|
git checkout "${BRANCH}"
|
|
|
|
# Add entry to public repository
|
|
git remote add tendermint-origin git@github.com:tendermint/tendermint.git
|
|
|
|
# Push branch and tag to public repository
|
|
git push tendermint-origin
|
|
git push tendermint-origin --tags
|
|
|
|
# Create a PR from the public branch to the assumed release branch in public (release branch has to exist)
|
|
python -u scripts/release_management/github-openpr.py --head "${BRANCH}" --base "${BRANCH:%.*}"
|