mirror of
https://github.com/GreptimeTeam/greptimedb.git
synced 2025-12-22 22:20:02 +00:00
acfd674332
* ci: update helm-charts and homebrew-greptime pull request reviewer Signed-off-by: liyang <daviderli614@gmail.com> * add reviewer Signed-off-by: liyang <daviderli614@gmail.com> --------- Signed-off-by: liyang <daviderli614@gmail.com>
46 lines
1.2 KiB
Bash
Executable File
46 lines
1.2 KiB
Bash
Executable File
#!/bin/bash
|
|
|
|
set -e
|
|
|
|
VERSION=${VERSION}
|
|
GITHUB_TOKEN=${GITHUB_TOKEN}
|
|
|
|
update_homebrew_greptime_version() {
|
|
# Configure Git configs.
|
|
git config --global user.email update-greptime-version@greptime.com
|
|
git config --global user.name update-greptime-version
|
|
|
|
# Clone helm-charts repository.
|
|
git clone "https://x-access-token:${GITHUB_TOKEN}@github.com/GreptimeTeam/homebrew-greptime.git"
|
|
cd homebrew-greptime
|
|
|
|
# Set default remote for gh CLI
|
|
gh repo set-default GreptimeTeam/homebrew-greptime
|
|
|
|
# Checkout a new branch.
|
|
BRANCH_NAME="chore/greptimedb-${VERSION}"
|
|
git checkout -b $BRANCH_NAME
|
|
|
|
# Update version.
|
|
make update-greptime-version VERSION=${VERSION}
|
|
|
|
# Commit the changes.
|
|
git add .
|
|
git commit -s -m "chore: Update GreptimeDB version to ${VERSION}"
|
|
git push origin $BRANCH_NAME
|
|
|
|
# Create a Pull Request.
|
|
gh pr create \
|
|
--title "chore: Update GreptimeDB version to ${VERSION}" \
|
|
--body "This PR updates the GreptimeDB version." \
|
|
--base main \
|
|
--head $BRANCH_NAME \
|
|
--reviewer sunng87 \
|
|
--reviewer daviderli614 \
|
|
--reviewer killme2008 \
|
|
--reviewer evenyag \
|
|
--reviewer fengjiachun
|
|
}
|
|
|
|
update_homebrew_greptime_version
|