mirror of
https://github.com/wavetermdev/xterm.js.git
synced 2026-04-22 15:25:47 -07:00
Daniel Imms
42 lines
1.1 KiB
Bash
42 lines
1.1 KiB
Bash
#!/bin/sh
|
|
|
|
# Name the arguments
|
|
VERSION=$1
|
|
|
|
# Clone docs repo and update the documentation
|
|
git clone https://github.com/xtermjs/xtermjs.org
|
|
cd xtermjs.org
|
|
npm ci
|
|
./bin/update-docs
|
|
|
|
# Add changes to index and only proceed if there are changes to commit
|
|
touch test-file
|
|
git add .
|
|
if ! git diff-index --quiet HEAD --; then
|
|
|
|
# Delete the upstream branch if it exists for some reason
|
|
export BRANCH_NAME=update-$VERSION
|
|
git branch -D $BRANCH_NAME || true
|
|
git push origin :$BRANCH_NAME || true
|
|
|
|
# Create commit and push it to update-x.y.z
|
|
git checkout -b $BRANCH_NAME
|
|
git config --global user.name Daniel Imms
|
|
git config --global user.email tyriar@tyriar.com
|
|
git commit -m 'Update docs for v$VERSION'
|
|
git push --set-upstream origin update-4.2.0
|
|
git push -f
|
|
|
|
# Create a PR in the GitHub repo
|
|
curl \
|
|
-H "Authorization: token $GITHUB_TOKEN" \
|
|
-X POST \
|
|
-d "{\"title\":\"Update docs for v$VERSION\",\"base\":\"master\",\"head\":\"xtermjs:$BRANCH_NAME\"}" \
|
|
https://api.github.com/repos/xtermjs/xtermjs.org/pulls
|
|
|
|
else
|
|
|
|
echo "No changes to commit"
|
|
|
|
fi
|