Skip to content

fix(sync-docs): unfreeze the docs sync push and PR creation - #8

Merged
jog1t merged 2 commits into
mainfrom
fix/sync-docs-push
Aug 18, 2026
Merged

fix(sync-docs): unfreeze the docs sync push and PR creation#8
jog1t merged 2 commits into
mainfrom
fix/sync-docs-push

Conversation

@jog1t

@jog1t jog1t commented Aug 18, 2026

Copy link
Copy Markdown
Contributor

The docs sync has been failing on every run since the first sync PR merged. Two independent causes:

  • The push used --force-with-lease against a branch this shallow checkout never fetched, so the lease had no baseline and the push was rejected as stale on every run after the branch first existed. The branch is rebuilt from the product repo each run, so there is no prior state to protect.
  • The create guard used gh pr view <branch>, which also resolves closed and merged PRs. Once the first sync PR merged, the guard always matched it and no new PR was ever opened.

Left vendor/actors stuck at the docs/ bundle move, 13 commits behind the product repo.

@railway-app

railway-app Bot commented Aug 18, 2026

Copy link
Copy Markdown

🚅 Deployed to the website-pr-8 environment in rivet-website

Service Status Web Updated (UTC)
website 🕒 Building (View Logs) Web Aug 18, 2026 at 10:54 pm

@railway-app
railway-app Bot temporarily deployed to rivet-website / website-pr-8 August 18, 2026 22:51 Destroyed
@railway-app
railway-app Bot temporarily deployed to rivet-website / website-pr-8 August 18, 2026 22:54 Destroyed
@jog1t
jog1t merged commit e1c08bc into main Aug 18, 2026
1 of 3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant