pub fn differs( root: &Utf8Path, tag: &str, paths: &[String], ) -> Result<bool, RkError>
Whether any of paths differs between tag and HEAD, as git diff --quiet answers.
paths
tag
HEAD
git diff --quiet
git’s failure to compare.