{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"})?;"}]}
        })?;
                .ok_or_else(|| anyhow::format_err!("Could not obtain Rust repo HEAD from remote."))
        // Make sure the repo is clean.