wehub-resource-sync
84 lines
2.6 KiB
YAML
84 lines
2.6 KiB
YAML
name: Docs deploy pre-check
|
|
|
|
on:
|
|
pull_request:
|
|
types:
|
|
- opened
|
|
- synchronize
|
|
- reopened
|
|
- labeled
|
|
- unlabeled
|
|
|
|
permissions:
|
|
contents: "read"
|
|
id-token: "write"
|
|
pull-requests: "write"
|
|
|
|
defaults:
|
|
run:
|
|
shell: bash --noprofile --norc -euo pipefail {0}
|
|
|
|
concurrency:
|
|
group: pr-${{ github.event.pull_request.number }}-auto-docs-check
|
|
cancel-in-progress: true
|
|
|
|
jobs:
|
|
check-cherry-pick:
|
|
name: Check if merge commit can be cherry-picked
|
|
runs-on: ubuntu-latest
|
|
if: github.event.pull_request.head.repo.owner.login == 'rerun-io' && contains(github.event.pull_request.labels.*.name, 'deploy docs')
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
with:
|
|
# ref - not set, because we want to end up on the merge commit
|
|
fetch-depth: 0 # don't perform a shallow clone
|
|
|
|
- name: Try cherry-pick
|
|
env:
|
|
GH_TOKEN: ${{ secrets.RERUN_BOT_TOKEN }}
|
|
run: |
|
|
# Setup git user
|
|
git config --global user.name "rerun-bot"
|
|
git config --global user.email "bot@rerun.io"
|
|
|
|
git fetch origin main
|
|
git checkout main
|
|
git merge --squash origin/${{ github.event.pull_request.head.ref }}
|
|
git commit -m "${{ github.event.pull_request.head.title }} (#${{ github.event.pull_request.number }})"
|
|
commit=$(git rev-parse HEAD)
|
|
git checkout docs-latest
|
|
|
|
if git cherry-pick $commit; then
|
|
echo "Cherry-pick successful"
|
|
exit 0
|
|
else
|
|
echo "Cherry-pick failed"
|
|
printf $(git diff)
|
|
exit 1
|
|
fi
|
|
|
|
- name: Add success comment
|
|
# https://github.com/mshick/add-pr-comment
|
|
uses: mshick/add-pr-comment@v3.9.1
|
|
# GitHub API is very unreliable. We don't want to fail the entire workflow just because we couldn't post a comment on success.
|
|
continue-on-error: true
|
|
if: success()
|
|
with:
|
|
message-id: "cherry-pick-check"
|
|
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
|
message: |
|
|
Your changes can be cherry-picked to `docs-latest` and will be deployed
|
|
immediately after merging.
|
|
|
|
- name: Add failure comment
|
|
# https://github.com/mshick/add-pr-comment
|
|
uses: mshick/add-pr-comment@v3.9.1
|
|
if: failure()
|
|
with:
|
|
message-id: "cherry-pick-check"
|
|
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
|
message: |
|
|
Your changes cannot be automatically cherry-picked to `docs-latest`.
|
|
|
|
You should remove the `deploy docs` label and perform the cherry-pick manually after merging.
|