Skip to content
This repository was archived by the owner on Jul 14, 2026. It is now read-only.

print push result and add --force for push#336

Merged
Germandrummer92 merged 3 commits into
mainfrom
push-improvements
Jan 19, 2026
Merged

print push result and add --force for push#336
Germandrummer92 merged 3 commits into
mainfrom
push-improvements

Conversation

@Germandrummer92

Copy link
Copy Markdown
Member

No description provided.

Comment thread src/tools/sync/push.ts Outdated
@Germandrummer92
Germandrummer92 enabled auto-merge (squash) January 19, 2026 11:20
@Germandrummer92
Germandrummer92 merged commit 5d90571 into main Jan 19, 2026
3 checks passed
@Germandrummer92
Germandrummer92 deleted the push-improvements branch January 19, 2026 11:20
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants