Skip to content

fix: use --force for snipsync bot branch push#4422

Merged
lennessyy merged 1 commit intomainfrom
fix/snipsync-push
Apr 9, 2026
Merged

fix: use --force for snipsync bot branch push#4422
lennessyy merged 1 commit intomainfrom
fix/snipsync-push

Conversation

@lennessyy
Copy link
Copy Markdown
Contributor

@lennessyy lennessyy commented Apr 9, 2026

Summary

  • Replaces --force-with-lease with --force in the snipsync workflow push step
  • The workflow only checks out main, so it never fetches the remote state of snipsync/daily-update, causing --force-with-lease to fail with a "stale info" error
  • --force is safe here since this is a bot-managed branch recreated from main on each run

Test plan

  • Trigger the snipsync workflow manually and confirm it pushes successfully

🤖 Generated with Claude Code

┆Attachments: EDU-6194 fix: use --force for snipsync bot branch push

The --force-with-lease check fails because the workflow only checks out
main and never fetches the existing snipsync/daily-update remote ref,
causing a "stale info" rejection. Since this is a bot-managed branch
recreated from main each run, --force is safe and appropriate.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
@lennessyy lennessyy requested a review from a team as a code owner April 9, 2026 18:36
@vercel
Copy link
Copy Markdown

vercel Bot commented Apr 9, 2026

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
temporal-documentation Ready Ready Preview, Comment Apr 9, 2026 6:37pm

Request Review

@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented Apr 9, 2026

📖 Docs PR preview links

This PR does not change any pages in /docs. If you make updates, links to the modified pages will appear here.

@lennessyy lennessyy merged commit bc1d32a into main Apr 9, 2026
10 checks passed
@lennessyy lennessyy deleted the fix/snipsync-push branch April 9, 2026 18:39
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.

2 participants