Skip to content

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

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

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

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

3e6d438
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings

The logs for this run have expired and are no longer available.