1//! Git tools: status, diff, log, add, commit, branch, checkout, push, pull, clone. 2 3pub mod add; 4pub mod branch; 5pub mod checkout; 6pub mod clone; 7pub mod commit; 8pub mod diff; 9pub mod log; 10pub mod pull; 11pub mod push; 12pub mod status;