ci: retry the generated-docs push through a rebase on rejection #171
No Reviewers
Labels
Clear labels
Area/CI
Area/Completions
Area/Components
Area/Config
Area/Docs
Area/Functions
Area/Integrations
Area/Prompt & Theme
Area/Scripts
Area/Tests
Compat/Breaking
Kind/Bug
Kind/Chore
Kind/Documentation
Kind/Enhancement
Kind/Feature
Kind/Performance
Kind/Refactor
Kind/Security
Kind/Testing
good first issue
help wanted
.github/workflows and repository automation
completions/ - tab-completion scripts
The opinionated-component system (C1-C6)
config.fish and conf.d/ - startup and environment
docs/manual/ and the generated manual, man page, and site
functions/ - user-facing functions and helpers
integrations/ - third-party tool wiring
themes/ and prompt appearance
scripts/ - standalone helper scripts
tests/ - the syntax lint and functional suite
Breaking change that won't be backward compatible
Something is not working
Tooling, dependencies, and housekeeping
Documentation changes
Improve existing functionality
New functionality
Makes existing behavior faster or lighter
Restructures code without changing behavior
This is security issue
Issue or pull request related to testing
Well-scoped and self-contained; a good place to start
Maintainer is looking for someone to pick this up
Priority
Critical
1
The priority is critical
Priority
High
2
The priority is high
Priority
Medium
3
The priority is medium
Priority
Low
4
The priority is low
Reviewed
Confirmed
1
Issue has been confirmed
Reviewed
Duplicate
2
This issue or pull request already exists
Reviewed
Invalid
3
Invalid issue
Reviewed
Won't Fix
3
This issue won't be fixed
Status
Blocked
1
Something is blocking this issue or pull request
Status
Need More Info
2
Feedback is required to reproduce issue or to continue work
Status
Abandoned
3
Somebody has started to work on this but abandoned work
Milestone
No items
No Milestone
No Assignees
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: rootiest/fish-config#171
Reference in New Issue
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
Summary
CI run 976 (
build-docs, triggered by #168's merge) failed at the last step, "Commit generated docs" — every real step before it (tests,verify-manual.py, man page compile, Astro site build, Cloudflare Pages deploy) succeeded.Root cause:
npm ci+astro build+ the Cloudflare deploy took ~8 minutes. In that window I merged #169, advancingmain. The bot's local clone was still based on the older commit, so itsgit pushwas rejected as non-fast-forward — a plain race between two PRs landing close together, not a defect in either PR's content.Fix
This step only ever touches three generated files (
docs/fish-config.md,docs/fish-config.1,conf.d/__fish_config_op_registry.fish), so a rebase onto whatever landed in the meantime is always mechanical. Retry the push up to 3 times, rebasing ontoorigin/mainbetween attempts. Ends on an explicittest "$pushed" -eq 1rather than trailing off theforloop, so exhausting all three retries still fails the job loudly instead of silently reporting success.Verification
python3 -c "import yaml; yaml.safe_load(open('.github/workflows/ci.yml'))"— valid YAML.bash -non the extracted step script — valid syntax.python3 docs/verify-manual.py— 84/84 passed (unaffected, no docs/functions content touched).