build

feat: add support for push options #13648

Job	Run time
Check protos	26s
build (ubuntu-latest)	4m 35s
cargo-deny (advisories)	25s
build (macos-13)	5m 49s
Build jj-lib without Git support	43s
cargo-deny (bans licenses sources)	23s
build (macos-14)	4m 9s
Clippy check	2m 43s
Check that MkDocs can build the docs	22s
build (windows-latest)	9m 22s
Check that MkDocs can build the docs with Poetry 1.8	20s
build (ubuntu-latest, --all-features)	5m 34s
Check formatting	14s
	35m 5s

Provide feedback