(c) 2015 Adam C. FoltzerBSD3acfoltzer@galois.com provisionalportableNone[\ @Type to flag if the git index is used or not in a call to runGit The git index is used The 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. Determine where our .git- directory is, in case we're in a submodule. 'Get the root directory of the Git repo..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 HEAD@Return the long git description for the current git commit, or UNKNOWN if not in a git repository.Return True< if there are non-committed files present in the repositoryReturn TrueN if there are non-commited changes to tracked files present in the repository0Return the number of commits in the current head*Return the commit date of the current head         #gitrev-1.3.1-Citt6Chj4KfCThlVPRH2bFDevelopment.GitRevgitHash gitBranch gitDescribegitDirtygitDirtyTrackedgitCommitCount gitCommitDate $fEqIndexUsed IndexUsedIdxUsed IdxNotUsedrunGit getDotGit getGitRoot