Skip to content

[stable30] ci: keep gh-pages root redirects on deploy - #15955

Merged
skjnldsv merged 1 commit into
stable30from
fix/drop-deploy-job-stable30
Oct 28, 2026
Merged

skjnldsv merged 1 commit into
stable30from
fix/drop-deploy-job-stable30

Conversation

@skjnldsv

@skjnldsv skjnldsv commented Oct 28, 2026 •

Copy link
Copy Markdown
Member

☑️ Resolves

The stable31 backport merged this morning opened #15951, which deletes go.php/index.html and user_manual/index.html from the gh-pages root. The deploy job checks both out at the root, then mvs them into server/<version>/.

This branch is out of support and only gets a push for the odd edge case, so it keeps deploying on push instead of joining the nightly master deploy. The redirects now go straight into the version folder with git show, the root copies stay.

The deploy only runs on push, so this PR's checks don't cover it. The next merge here is the real test.

✅ Checklist

  • I have built the documentation locally and reviewed the output
  • Screenshots are included for visual changes
  • I have not moved or renamed pages (or added a redirect if I did)
  • I have run codespell or similar and addressed any spelling issues

👾 This pull request was assisted by Claude Code, commits carry an Assisted-by trailer.

The deploy job checked go.php/index.html and user_manual/index.html out
at the gh-pages root, then moved them into server/<version>/. That
deletes the root copies the scheduled master deploy maintains (see
#15951). Write them straight into the version folder with git show.

Assisted-by: ClaudeCode:claude-opus-5-5
Signed-off-by: John Molakvoæ <14975046+skjnldsv@users.noreply.github.com>
@skjnldsv
skjnldsv force-pushed the fix/drop-deploy-job-stable30 branch from 9e9aa22 to 040b8a6 Compare October 28, 2026 17:58
@skjnldsv skjnldsv changed the title [stable30] ci: drop gh-pages deploy job [stable30] ci: keep gh-pages root redirects on deploy Oct 28, 2026
@skjnldsv
skjnldsv merged commit 9490928 into stable30 Oct 28, 2026
16 of 17 checks passed
@skjnldsv
skjnldsv deleted the fix/drop-deploy-job-stable30 branch October 28, 2026 19:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant