Skip to content

Default to safe push with --merge --ignore-missing#3

Merged
edouard merged 1 commit intomainfrom
safe-push
Mar 31, 2026
Merged

Default to safe push with --merge --ignore-missing#3
edouard merged 1 commit intomainfrom
safe-push

Conversation

@edouard
Copy link
Copy Markdown
Contributor

@edouard edouard commented Mar 31, 2026

Pushes are now additive by default — they add or update keys on WTI but never delete. This prevents accidentally obsoleting keys that were added on WTI but are missing from stale local files.

  • Change push_options default to '--merge --ignore-missing'
  • Fix api_key description to avoid GitHub Actions parse error
  • Add Safe Sync Model and Recommended Workflow sections to README
  • Add target file push example and destructive override to EXAMPLES

Pushes are now additive by default — they add or update keys on WTI
but never delete. This prevents accidentally obsoleting keys that
were added on WTI but are missing from stale local files.

- Change push_options default to '--merge --ignore-missing'
- Fix api_key description to avoid GitHub Actions parse error
- Add Safe Sync Model and Recommended Workflow sections to README
- Add target file push example and destructive override to EXAMPLES
@edouard edouard merged commit 9ac18a9 into main Mar 31, 2026
1 check 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