{"ast_node_type":"other","tokens":[{"end":114,"kind":"keyword","start":0,"text":"//"}]}
// git sync implementation adapted from https://github.com/rust-lang/miri/blob/62039ac/miri-script/src/commands.rs
impl flags::RustcPull {