chore: remove temporary Hermes review branches after opening PR 84 #2
Workflow file for this run
This file contains hidden or 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: Clean up Hermes review branches | |
| on: | |
| push: | |
| branches: [codex/hermes-base-submit-20260912] | |
| permissions: | |
| contents: write | |
| jobs: | |
| cleanup: | |
| runs-on: blacksmith-4vcpu-ubuntu-2404 | |
| timeout-minutes: 5 | |
| steps: | |
| - uses: actions/checkout@v7 | |
| with: | |
| persist-credentials: true | |
| - name: Delete only the three temporary branches created for PR 84 | |
| shell: bash | |
| run: | | |
| set -euo pipefail | |
| remote_sha() { git ls-remote origin "refs/heads/$1" | cut -f1; } | |
| test "$(remote_sha codex/fix-hermes-base-verification)" = 67259bfa968867da556c6437ee804e7dc2a86d3a | |
| test "$(remote_sha codex/hermes-base-workspace-20260912)" = 87a2c6d1ac1d87728e68335502722725de38b108 | |
| test "$(remote_sha codex/hermes-base-staged-20260912)" = 090da740e90f6d8127925f0a2f1f0702a064a285 | |
| test "$(remote_sha codex/hermes-base-submit-20260912)" = "$GITHUB_SHA" | |
| git push origin --delete codex/hermes-base-workspace-20260912 codex/hermes-base-staged-20260912 codex/hermes-base-submit-20260912 |