Repository navigation
New PR causes the git fetch to fail #1226
Description
Describe the bug
The following code in .github/workflows/run_doctools.yml assumes the the PR's branch is local in the origin remote and not the git location of the PR source.
steps:
- uses: actions/checkout@v7
with:
ref: ${{ github.head_ref }}
fetch-depth: 0
Preferably the checkout branch is actually from the source of the PR
${{ github.event.pull_request.head.sha }}
Expected behavior
Should pull the right branch from the right remote before running doctools
Found when trying to hand #1224 PR
Activity
tschmidtb51 commentedon Sep 8, 2026
@bernhardreiter Please provide a PR.
bernhardreiter commentedon Sep 17, 2026
@wagner-intevation can you check this, it seems to be more important blocking #1247
wagner-intevation commentedon Sep 17, 2026
Done. See #1250
wagner-intevation commentedon Sep 23, 2026
I think this issue can be closed now
bernhardreiter commentedon Sep 29, 2026
ping @sei-vsarvepalli