Skip to content

In advance, only push when the branch is ahead of remote#1571

Merged
PawelLipski merged 1 commit intodevelopfrom
improve/advance-push-ahead-only
Jan 19, 2026
Merged

In advance, only push when the branch is ahead of remote#1571
PawelLipski merged 1 commit intodevelopfrom
improve/advance-push-ahead-only

Commits

Commits on Jan 19, 2026