{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":".ignore_stdout()"}]}
            .ignore_stdout()
        cmd!(sh, "git push https://github.com/{rust_fork} {base}:refs/heads/{branch}")
            .ignore_stderr() // silence the "create GitHub PR" message