[raft] update store tag when leases are acquired/dropped (#7972) #7331
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Update Deps | |
on: | |
push: | |
branches: | |
- master | |
paths-ignore: | |
- "docs/**" | |
- "website/**" | |
jobs: | |
update: | |
runs-on: ubuntu-latest | |
if: "!contains(github.event.head_commit.message, 'deps skip')" | |
steps: | |
- name: Checkout | |
uses: actions/checkout@v3 | |
with: | |
path: buildbuddy | |
- name: Checkout internal | |
uses: actions/checkout@v3 | |
with: | |
repository: "buildbuddy-io/buildbuddy-internal" | |
ref: "master" | |
token: ${{ secrets.BUILDBUDDY_APP_TOKEN }} | |
path: buildbuddy-internal | |
- name: Copy files from OSS to internal | |
run: | | |
cp buildbuddy/deps.bzl buildbuddy-internal/deps.bzl | |
cp buildbuddy/.bazelversion buildbuddy-internal/.bazelversion | |
- name: Update SHA | |
run: | | |
cd "$GITHUB_WORKSPACE"/buildbuddy-internal | |
sed -i "s/commit = \"[a-z0-9]*\", # autoupdate buildbuddy-io\/buildbuddy/commit = \"$GITHUB_SHA\", # autoupdate buildbuddy-io\/buildbuddy/g" WORKSPACE | |
- name: Commit | |
env: | |
AUTHOR_EMAIL: ${{ github.event.head_commit.author.email }} | |
AUTHOR_NAME: ${{ github.event.head_commit.author.name }} | |
COMMIT_MESSAGE: ${{ github.event.head_commit.message }} | |
COMMIT_URL: ${{ github.event.head_commit.url }} | |
run: | | |
cd "$GITHUB_WORKSPACE"/buildbuddy-internal | |
git config --local user.email "$AUTHOR_EMAIL" | |
git config --local user.name "$AUTHOR_NAME" | |
git add WORKSPACE | |
git add deps.bzl | |
git add .bazelversion | |
cat <<EOF > message.txt | |
🔄 $COMMIT_MESSAGE | |
Update buildbuddy-io/buildbuddy commit SHA | |
🔗 $COMMIT_URL | |
EOF | |
git commit -F message.txt -a | |
- name: Push changes | |
uses: ad-m/[email protected] | |
with: | |
directory: buildbuddy-internal | |
repository: buildbuddy-io/buildbuddy-internal | |
github_token: ${{ secrets.BUILDBUDDY_GITHUB_USER_TOKEN }} | |
branch: master |