Use backwards-compatible options to git config (#7934)

This commit is contained in:
Andy Leiserson 2025-07-11 13:20:13 -07:00 committed by GitHub
parent 5b2c8406bf
commit ae946dbb8c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -80,7 +80,7 @@ pub fn run_cts(shell: Shell, mut args: Arguments) -> anyhow::Result<()> {
// clones may not have it. Eventually this can be removed.
if shell
.cmd("git")
.args(["config", "get", "remote.origin.fetch"])
.args(["config", "--get", "remote.origin.fetch"])
.quiet()
.ignore_stdout()
.ignore_stderr()
@ -91,7 +91,6 @@ pub fn run_cts(shell: Shell, mut args: Arguments) -> anyhow::Result<()> {
.cmd("git")
.args([
"config",
"set",
"remote.origin.fetch",
"+refs/heads/gh-pages:refs/remotes/origin/gh-pages",
])