úÎ  ‘(c) 2015 Adam C. FoltzerBSD3acfoltzer@galois.com provisionalportableNone @Type to flag if the git index is used or not in a call to runGitThe git index is usedThe git index is not used™Run git with the given arguments and no stdin, returning the stdout output. If git isn't available or something goes wrong, return the second argument..Return the hash of the current git commit, or UNKNOWN if not in a git repository>Return the branch (or tag) name of the current git commit, or UNKNOWNE if not in a git repository. For detached heads, this will just be HEADReturn True< if there are non-committed files present in the repository0Return the number of commits in the current head*Return the commit date of the current head    gitre_6hckEfTeyvD4Hqox09Xzr6Development.GitRevgitHash gitBranchgitDirtygitCommitCount gitCommitDate IndexUsedIdxUsed IdxNotUsedrunGit