Revision 85fc4969070b934f3add381586a333e1dc416e38

Committed on 01/02/2024 1:43 am by Patrick Dawkins <patrick@platform.sh> [GitHub Diff]

Enable git push options by default

Push options are available on projects from server version 23, which seems
widespread enough for this to be a safe default.

A followup PR https://github.com/platformsh/legacy-cli/pull/1394 will remove the
old code entirely.