Skip to main content

amont_runtime/
git.rs

1//! Thin wrappers over the `git` calls the hooks make.
2
3use std::process::{Command, Stdio};
4
5/// Run `cmd`, retrying the transient SPAWN failures a loaded machine
6/// produces: EINTR, EAGAIN (fork pressure), ETXTBSY (another thread's
7/// fork-to-exec window still holding a write descriptor on the executable).
8/// A NON-ZERO EXIT IS NEVER RETRIED — that is git answering; this covers
9/// only "git could not be asked".
10///
11/// The failure this ends: `gate_stamp`'s tests — and, invisibly, real
12/// hooks on a loaded machine — watched a single failed fork turn
13/// `bind_to_head` into "nothing to stamp". The hooks' fail-open reading of
14/// `None` is right for a git that is genuinely absent; three attempts over
15/// ~130ms is the difference between that and a scheduler hiccup.
16fn retrying<T>(mut attempt: impl FnMut() -> std::io::Result<T>) -> std::io::Result<T> {
17    let mut delay = std::time::Duration::from_millis(10);
18    for tries_left in [2u8, 1, 0] {
19        match attempt() {
20            Err(e) if tries_left > 0 && transient(&e) => {
21                std::thread::sleep(delay);
22                delay *= 3;
23            }
24            other => return other,
25        }
26    }
27    unreachable!("the zero-tries arm returns")
28}
29
30/// The retryable kinds, matched on raw OS codes because the precise
31/// `io::ErrorKind` variants (`ExecutableFileBusy`, `ResourceBusy`) are not
32/// stable at this crate's MSRV: EINTR(4), EAGAIN(11 linux / 35 mac),
33/// ETXTBSY(26).
34fn transient(e: &std::io::Error) -> bool {
35    if matches!(
36        e.kind(),
37        std::io::ErrorKind::Interrupted | std::io::ErrorKind::WouldBlock
38    ) {
39        return true;
40    }
41    matches!(e.raw_os_error(), Some(4 | 11 | 26 | 35))
42}
43
44/// stdout of a git command, trimmed. `None` when git itself failed — which the
45/// hooks treat as "cannot tell, do not block", never as "empty".
46pub fn stdout(args: &[&str]) -> Option<String> {
47    let mut cmd = Command::new("git");
48    cmd.args(args).stderr(Stdio::null());
49    let out = retrying(|| cmd.output()).ok()?;
50    if !out.status.success() {
51        return None;
52    }
53    Some(String::from_utf8_lossy(&out.stdout).trim().to_string())
54}
55
56/// The same, run inside `dir`.
57///
58/// The dashboard asks about repositories it is not standing in, and must get
59/// the answer git would give THERE — config is per-repository, so asking from
60/// the wrong directory returns the wrong severity.
61pub fn stdout_in(dir: &std::path::Path, args: &[&str]) -> Option<String> {
62    let mut cmd = Command::new("git");
63    cmd.arg("-C").arg(dir).args(args).stderr(Stdio::null());
64    let out = retrying(|| cmd.output()).ok()?;
65    if !out.status.success() {
66        return None;
67    }
68    Some(String::from_utf8_lossy(&out.stdout).trim().to_string())
69}
70
71/// [`succeeds`] for a repository this process is not standing in — the shape
72/// the fleet needs to UNDO something (delete a ref it wrote) rather than ask
73/// about it. Output discarded; `false` covers "git could not run" too.
74pub fn succeeds_in(dir: &std::path::Path, args: &[&str]) -> bool {
75    let mut cmd = Command::new("git");
76    cmd.arg("-C")
77        .arg(dir)
78        .args(args)
79        .stdin(Stdio::null())
80        .stdout(Stdio::null())
81        .stderr(Stdio::null());
82    retrying(|| cmd.status())
83        .map(|s| s.success())
84        .unwrap_or(false)
85}
86
87/// stdout of a git command that itself reads a list from stdin — `diff-tree
88/// --stdin`, fed a list of commits, is the only caller today. Lossy but
89/// untrimmed: every line is a path, and the caller trims those itself.
90pub fn stdout_piped(args: &[&str], stdin: &str) -> Option<String> {
91    use std::io::Write;
92    let mut cmd = Command::new("git");
93    cmd.args(args)
94        .stdin(Stdio::piped())
95        .stdout(Stdio::piped())
96        .stderr(Stdio::null());
97    let mut child = retrying(|| cmd.spawn()).ok()?;
98    child.stdin.take()?.write_all(stdin.as_bytes()).ok()?;
99    let out = child.wait_with_output().ok()?;
100    out.status
101        .success()
102        .then(|| String::from_utf8_lossy(&out.stdout).into_owned())
103}
104
105/// As `stdout_piped`, but returning the RAW bytes.
106///
107/// Needed by the one caller that must both feed git a list on stdin and read a
108/// `-z` path list back — `diff-tree --stdin -z`. `stdout_paths` cannot serve it
109/// (no stdin) and `stdout_piped` cannot either (lossy `String`, and the NUL
110/// separators are the whole point).
111pub fn stdout_piped_raw(args: &[&str], stdin: &str) -> Option<Vec<u8>> {
112    use std::io::Write;
113    let mut cmd = Command::new("git");
114    cmd.args(args)
115        .stdin(Stdio::piped())
116        .stdout(Stdio::piped())
117        .stderr(Stdio::null());
118    let mut child = retrying(|| cmd.spawn()).ok()?;
119    child.stdin.take()?.write_all(stdin.as_bytes()).ok()?;
120    let out = child.wait_with_output().ok()?;
121    out.status.success().then_some(out.stdout)
122}
123
124/// As `stdout_piped`, but inside `dir` and taking raw bytes.
125///
126/// `-C dir` matters for `hash-object`: a repository configured for SHA-256
127/// computes a different id than the default, so the identity has to be asked
128/// of THAT repository. Bytes rather than `&str` because the input is a file we
129/// have already read and must not re-encode.
130pub fn stdout_piped_in(dir: &std::path::Path, args: &[&str], stdin: &[u8]) -> Option<String> {
131    use std::io::Write;
132    let mut cmd = Command::new("git");
133    cmd.arg("-C")
134        .arg(dir)
135        .args(args)
136        .stdin(Stdio::piped())
137        .stdout(Stdio::piped())
138        .stderr(Stdio::null());
139    let mut child = retrying(|| cmd.spawn()).ok()?;
140    child.stdin.take()?.write_all(stdin).ok()?;
141    let out = child.wait_with_output().ok()?;
142    out.status
143        .success()
144        .then(|| String::from_utf8_lossy(&out.stdout).trim().to_string())
145}
146
147/// Raw stdout, untrimmed and not lossy — for a patch, where a trailing newline
148/// and any byte in a binary hunk are load-bearing.
149pub fn stdout_raw(args: &[&str]) -> Option<Vec<u8>> {
150    let mut cmd = Command::new("git");
151    cmd.args(args).stderr(Stdio::null());
152    let out = retrying(|| cmd.output()).ok()?;
153    out.status.success().then_some(out.stdout)
154}
155
156/// Everything a git command said: its exit code, its stdout and its stderr.
157pub struct Output {
158    pub code: i32,
159    pub stdout: String,
160    pub stderr: String,
161}
162
163/// A git command's full result, for the caller that must tell one kind of
164/// failure from another.
165///
166/// [`stdout`] collapses every non-zero exit to `None` and discards stderr,
167/// which is the right shape for "cannot tell, do not block". It is the wrong
168/// shape for reading configuration: `git config --get` exits **1** for a key
169/// nobody set and **128** for a key set to something git itself refuses to
170/// parse, and those two must not become the same answer — one is a default,
171/// the other is a mistake somebody needs to be told about. See `config`.
172pub fn output(args: &[&str]) -> Option<Output> {
173    let mut cmd = Command::new("git");
174    cmd.args(args);
175    full_output(cmd)
176}
177
178/// [`output`] run inside `dir` — for a caller that must ask about a
179/// repository without moving the whole process there (`set_current_dir` is
180/// process-global, and races every test in the binary).
181pub fn output_in(dir: &std::path::Path, args: &[&str]) -> Option<Output> {
182    let mut cmd = Command::new("git");
183    cmd.arg("-C").arg(dir).args(args);
184    full_output(cmd)
185}
186
187fn full_output(mut cmd: Command) -> Option<Output> {
188    cmd.stdin(Stdio::null());
189    let out = retrying(|| cmd.output()).ok()?;
190    Some(Output {
191        // A process killed by a signal has no code. Treat that as "git did not
192        // answer" rather than inventing one; the caller falls back.
193        code: out.status.code()?,
194        stdout: String::from_utf8_lossy(&out.stdout).trim().to_string(),
195        stderr: String::from_utf8_lossy(&out.stderr).trim().to_string(),
196    })
197}
198
199/// How a bounded network probe ended. Exit codes stay visible because the
200/// callers need to keep git's answers apart: `ls-remote --exit-code` exits
201/// **2** for "connected, no such ref" and **128** for "could not connect",
202/// and reading those as one boolean is how offline got reported as
203/// "upstream deleted".
204pub enum Probe {
205    /// Ran to completion with this exit code.
206    Exit(i32),
207    /// Killed at the deadline; carries the budget it exceeded, in seconds.
208    TimedOut(u64),
209    /// Could not spawn, or died to a signal — "git did not answer".
210    Failed,
211}
212
213/// A git command that TALKS TO THE NETWORK, killed at `budget_secs`.
214///
215/// Every other runner in this module waits forever, which is correct for
216/// local plumbing — a `rev-parse` that hangs means the machine is already
217/// lost. A network verb hanging is Tuesday: captive portal, VPN split
218/// brain, a remote that accepts the TCP connect and then says nothing.
219/// Unbounded, that held the push hostage inside the index hold with no
220/// deadline anywhere; the learned response is `--no-verify`, permanently.
221/// `budget_secs == 0` means no deadline (the same opt-out `amont.timeout`
222/// honours). Output is discarded — network callers decide on exit codes.
223pub fn probe(args: &[&str], budget_secs: u64) -> Probe {
224    probe_env(args, budget_secs, &[])
225}
226
227/// Whose ssh a remote call uses.
228#[derive(Clone, Copy, Debug, PartialEq)]
229pub enum Ssh {
230    /// The user configured their own (`GIT_SSH_COMMAND`, `GIT_SSH` or
231    /// `core.sshCommand`); it is left alone — replacing it could drop the
232    /// key selection it exists for. It may prompt; the deadline bounds that.
233    User,
234    /// Ours: batch mode, no prompt, a 10 s connect timeout.
235    Batch,
236}
237
238/// The configuration and environment every call that talks to a REMOTE for a
239/// verifier runs with, as data so both branches are testable without
240/// touching the process environment.
241///
242/// Never a prompt: `GIT_TERMINAL_PROMPT=0` alone is not enough, because git
243/// runs `GIT_ASKPASS` / `core.askPass` / `SSH_ASKPASS` BEFORE consulting it;
244/// a `GIT_ASKPASS` that is present and EMPTY makes git run none of them.
245/// `GCM_INTERACTIVE` and `credential.interactive` tell credential managers
246/// the same; the helpers themselves stay, so stored credentials still work.
247/// Never a stall: curl gives up after 10 s under 1 byte/s, ssh after a 10 s
248/// connect — and the caller's own deadline covers the rest.
249pub fn remote_env(ssh: Ssh) -> (Vec<&'static str>, Vec<(&'static str, &'static str)>) {
250    let args = vec![
251        "-c",
252        "http.lowSpeedLimit=1",
253        "-c",
254        "http.lowSpeedTime=10",
255        "-c",
256        "credential.interactive=never",
257    ];
258    let mut env = vec![
259        ("GIT_TERMINAL_PROMPT", "0"),
260        ("GIT_ASKPASS", ""),
261        ("GCM_INTERACTIVE", "never"),
262    ];
263    if ssh == Ssh::Batch {
264        env.push((
265            "GIT_SSH_COMMAND",
266            "ssh -o BatchMode=yes -o ConnectTimeout=10",
267        ));
268    }
269    (args, env)
270}
271
272/// Whose ssh this environment configures.
273pub fn configured_ssh() -> Ssh {
274    let set = |v: &str| std::env::var_os(v).is_some_and(|v| !v.is_empty());
275    if set("GIT_SSH_COMMAND") || set("GIT_SSH") || succeeds(&["config", "--get", "core.sshCommand"])
276    {
277        Ssh::User
278    } else {
279        Ssh::Batch
280    }
281}
282
283/// `git <args>` against a remote, with [`remote_env`] and a deadline.
284pub fn probe_remote(args: &[&str], budget_secs: u64) -> Probe {
285    let (pre, env) = remote_env(configured_ssh());
286    let mut all: Vec<&str> = pre;
287    all.extend_from_slice(args);
288    probe_env(&all, budget_secs, &env)
289}
290
291/// [`probe`], with extra environment for the child.
292pub fn probe_env(args: &[&str], budget_secs: u64, env: &[(&str, &str)]) -> Probe {
293    probe_run(args, budget_secs, env, false).0
294}
295
296/// [`probe_remote`], keeping what git printed on stdout.
297///
298/// For the callers that need the ANSWER and not only the exit code: `land`
299/// reads a remote tip with `ls-remote`, and a probe that discards stdout
300/// could say "connected" but never which commit. Same environment, same
301/// deadline, same separation of exit codes. The output is small by
302/// construction (one ref), so it is read after the child ends rather than
303/// beside it; a caller asking for a large stream wants a different tool.
304pub fn probe_remote_stdout(args: &[&str], budget_secs: u64) -> (Probe, String) {
305    let (pre, env) = remote_env(configured_ssh());
306    let mut all: Vec<&str> = pre;
307    all.extend_from_slice(args);
308    probe_run(&all, budget_secs, &env, true)
309}
310
311fn probe_run(
312    args: &[&str],
313    budget_secs: u64,
314    env: &[(&str, &str)],
315    capture: bool,
316) -> (Probe, String) {
317    let mut cmd = Command::new("git");
318    cmd.args(args)
319        .envs(env.iter().copied())
320        .stdin(Stdio::null())
321        .stdout(if capture {
322            Stdio::piped()
323        } else {
324            Stdio::null()
325        })
326        .stderr(Stdio::null());
327    let read_out = |child: &mut std::process::Child| -> String {
328        use std::io::Read;
329        let mut text = String::new();
330        if let Some(mut out) = child.stdout.take() {
331            let _ = out.read_to_string(&mut text);
332        }
333        text
334    };
335    if budget_secs == 0 && !capture {
336        return match retrying(|| cmd.status()) {
337            Ok(s) => (
338                s.code().map(Probe::Exit).unwrap_or(Probe::Failed),
339                String::new(),
340            ),
341            Err(_) => (Probe::Failed, String::new()),
342        };
343    }
344    let Ok(mut child) = retrying(|| cmd.spawn()) else {
345        return (Probe::Failed, String::new());
346    };
347    // No deadline (`budget_secs == 0`) is an hour here, not forever: the
348    // capture path polls like the bounded one and a poll with no end is the
349    // unbounded wait this module exists to avoid.
350    let budget = if budget_secs == 0 { 3600 } else { budget_secs };
351    let deadline = std::time::Instant::now() + std::time::Duration::from_secs(budget);
352    loop {
353        match child.try_wait() {
354            Ok(Some(s)) => {
355                let text = read_out(&mut child);
356                return (s.code().map(Probe::Exit).unwrap_or(Probe::Failed), text);
357            }
358            Ok(None) => {}
359            Err(_) => return (Probe::Failed, String::new()),
360        }
361        if std::time::Instant::now() >= deadline {
362            let _ = child.kill();
363            let _ = child.wait();
364            return (Probe::TimedOut(budget), String::new());
365        }
366        std::thread::sleep(std::time::Duration::from_millis(25));
367    }
368}
369
370/// True when the command exits 0. Output discarded.
371pub fn succeeds(args: &[&str]) -> bool {
372    let mut cmd = Command::new("git");
373    cmd.args(args)
374        .stdin(Stdio::null())
375        .stdout(Stdio::null())
376        .stderr(Stdio::null());
377    retrying(|| cmd.status())
378        .map(|s| s.success())
379        .unwrap_or(false)
380}
381
382/// A path list from `diff --name-only`, `diff-tree --name-only` or
383/// `ls-files` — commands whose output is meant to be split into individual
384/// paths, never just read as one blob.
385///
386/// By default git QUOTES any "unusual" byte in a path, non-ASCII included:
387/// `é.json` prints as `"\303\251.json"`. Reading that line as a literal path
388/// looks up a file that does not exist — the caller then treats real,
389/// unstaged content as absent, which is how `StagedOnly` used to lose it.
390/// `-z` disables quoting entirely and NUL-terminates each entry instead, so
391/// there is no escaping left to get wrong. Inserted right after the
392/// subcommand (`args[0]`), which is always a valid position for it on every
393/// command this is used for.
394pub fn stdout_paths(args: &[&str]) -> Option<Vec<String>> {
395    let (first, rest) = args.split_first()?;
396    let mut argv = Vec::with_capacity(args.len() + 1);
397    argv.push(*first);
398    argv.push("-z");
399    argv.extend_from_slice(rest);
400    stdout_raw(&argv).map(|raw| split_nul_paths(&raw))
401}
402
403/// The parsing half of [`stdout_paths`], split out so it can be tested on
404/// literal bytes rather than a real git process — including the byte
405/// sequence a QUOTED path would have produced under the old line-splitting
406/// approach, to prove `-z` output is never reinterpreted that way.
407pub(crate) fn split_nul_paths(raw: &[u8]) -> Vec<String> {
408    raw.split(|&b| b == 0)
409        .filter(|s| !s.is_empty())
410        .map(|s| String::from_utf8_lossy(s).into_owned())
411        .collect()
412}
413
414#[cfg(test)]
415mod retry_tests {
416    use super::*;
417
418    /// The classifier: scheduler hiccups retry, real answers do not.
419    #[test]
420    fn transient_covers_the_fork_pressure_kinds_and_nothing_else() {
421        for code in [4, 11, 26, 35] {
422            assert!(
423                transient(&std::io::Error::from_raw_os_error(code)),
424                "raw {code} is a loaded-machine hiccup"
425            );
426        }
427        assert!(transient(&std::io::Error::from(
428            std::io::ErrorKind::Interrupted
429        )));
430        assert!(!transient(&std::io::Error::from(
431            std::io::ErrorKind::NotFound
432        )));
433        assert!(!transient(&std::io::Error::from_raw_os_error(13))); // EACCES
434    }
435
436    /// Three attempts, then the error is the caller's: a git that is
437    /// genuinely absent must not cost more than ~130ms of patience.
438    #[test]
439    fn retrying_gives_up_after_three_transient_failures() {
440        let mut calls = 0;
441        let r: std::io::Result<()> = retrying(|| {
442            calls += 1;
443            Err(std::io::Error::from_raw_os_error(11))
444        });
445        assert!(r.is_err());
446        assert_eq!(calls, 3);
447    }
448
449    /// A non-transient error returns immediately — a missing git is an
450    /// answer, not a hiccup.
451    #[test]
452    fn a_hard_error_is_not_retried() {
453        let mut calls = 0;
454        let r: std::io::Result<()> = retrying(|| {
455            calls += 1;
456            Err(std::io::Error::from(std::io::ErrorKind::NotFound))
457        });
458        assert!(r.is_err());
459        assert_eq!(calls, 1);
460    }
461
462    /// A success after a hiccup is a success.
463    #[test]
464    fn one_hiccup_then_an_answer_is_an_answer() {
465        let mut calls = 0;
466        let r = retrying(|| {
467            calls += 1;
468            if calls == 1 {
469                Err(std::io::Error::from_raw_os_error(4))
470            } else {
471                Ok(42)
472            }
473        });
474        assert_eq!(r.unwrap(), 42);
475        assert_eq!(calls, 2);
476    }
477}
478
479#[cfg(test)]
480mod tests {
481    use super::*;
482
483    #[test]
484    fn probe_remote_stdout_returns_what_git_printed_and_the_exit_code() {
485        let dir = std::env::temp_dir().join(format!("amont-probe-stdout-{}", std::process::id()));
486        let _ = std::fs::remove_dir_all(&dir);
487        std::fs::create_dir_all(&dir).expect("mkdir");
488        let run = |args: &[&str]| {
489            let out = Command::new("git")
490                .arg("-C")
491                .arg(&dir)
492                .args(args)
493                .output()
494                .expect("git");
495            assert!(out.status.success(), "{args:?}");
496            String::from_utf8_lossy(&out.stdout).trim().to_string()
497        };
498        run(&["init", "-q", "--initial-branch=main", "."]);
499        run(&[
500            "-c",
501            "user.email=t@e",
502            "-c",
503            "user.name=t",
504            "-c",
505            "core.hooksPath=/dev/null",
506            "commit",
507            "-q",
508            "--allow-empty",
509            "-m",
510            "x",
511        ]);
512        let sha = run(&["rev-parse", "HEAD"]);
513        let url = dir.to_string_lossy().to_string();
514
515        let (probe, out) = probe_remote_stdout(&["ls-remote", &url, "refs/heads/main"], 30);
516        assert!(matches!(probe, Probe::Exit(0)));
517        assert!(out.starts_with(&sha), "{out}");
518
519        // Connected, and no such ref: success with nothing on stdout.
520        let (probe, out) = probe_remote_stdout(&["ls-remote", &url, "refs/heads/nope"], 30);
521        assert!(matches!(probe, Probe::Exit(0)));
522        assert!(out.trim().is_empty());
523
524        // Could not connect: the exit code stays visible, stdout is empty.
525        let (probe, out) = probe_remote_stdout(&["ls-remote", "/nonexistent/repo.git"], 30);
526        assert!(matches!(probe, Probe::Exit(c) if c != 0));
527        assert!(out.is_empty());
528        let _ = std::fs::remove_dir_all(&dir);
529    }
530
531    #[test]
532    fn splits_on_nul_and_drops_the_trailing_empty_segment() {
533        assert_eq!(
534            split_nul_paths(b"src/main.rs\0Cargo.toml\0"),
535            vec!["src/main.rs", "Cargo.toml"]
536        );
537    }
538
539    #[test]
540    fn empty_input_is_no_paths() {
541        assert_eq!(split_nul_paths(b""), Vec::<String>::new());
542    }
543
544    /// The exact bug this exists to prevent: under `--name-only` without
545    /// `-z`, git would have printed `é.json` as the quoted, LINE-oriented
546    /// text `"\303\251.json"` — literal backslashes, digits and quotes, nine
547    /// bytes standing in for the original two-byte UTF-8 sequence. `-z`
548    /// output carries the real UTF-8 bytes of the path with no such
549    /// reinterpretation, so splitting on NUL must hand them back unchanged.
550    #[test]
551    fn a_non_ascii_path_is_not_reinterpreted_as_its_quoted_form() {
552        let mut raw = "é.json".as_bytes().to_vec();
553        raw.push(0);
554        let got = split_nul_paths(&raw);
555        assert_eq!(got, vec!["é.json".to_string()]);
556        assert_ne!(got[0], "\"\\303\\251.json\"", "must not be the quoted form");
557    }
558}
559
560/// The branch `HEAD` names, or `None` on a detached head — asked of git ONCE
561/// per process and lent to every check that wants it.
562///
563/// Two always-on pre-commit checks (`branch-pattern`, `branch-protect`) open
564/// with this same question. Asked twice it is two spawns on every commit,
565/// which is exactly the o(checks) growth `tests/spawn_budget.rs` exists to
566/// refuse; asked once it is the price of one check, however many share it.
567pub fn current_branch() -> Option<&'static str> {
568    static BRANCH: std::sync::OnceLock<Option<String>> = std::sync::OnceLock::new();
569    BRANCH
570        .get_or_init(|| stdout(&["symbolic-ref", "--quiet", "--short", "HEAD"]))
571        .as_deref()
572}
573
574/// Whether any remote is configured. Same device, same reason: a contract
575/// about pushing has nothing to gate in a repository nothing is pushed from,
576/// and more than one check asks before speaking.
577pub fn has_remote() -> bool {
578    static REMOTE: std::sync::OnceLock<bool> = std::sync::OnceLock::new();
579    *REMOTE.get_or_init(|| stdout(&["remote"]).is_some_and(|r| !r.is_empty()))
580}