mirror of
https://github.com/fluencelabs/tendermint
synced 2025-04-26 15:22:15 +00:00
eb7af9a765
* Release management using CircleCI (#3498) * Release management using CircleCI * Changelog updated * Fix for wrong version tag (#3517) * Fix for wrong version tag (tag on the release branch instead of master) * Release message changelog link fix (#3519)
29 lines
889 B
Bash
29 lines
889 B
Bash
#!/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:%.*}"
|