Lines Matching full:git

91     } elseif (is_dir(DOKU_INC . '.git')) {
92         $version['type'] = 'Git';
95         // First try to get date and commit hash by calling Git
97             $args = ['git', 'log', '-1', '--pretty=format:%h %cd', '--date=short'];
106         // we cannot use git on the shell -- let's do it manually!
107         if (file_exists(DOKU_INC . '.git/HEAD')) {
108             $headCommit = trim(file_get_contents(DOKU_INC . '.git/HEAD'));
112                 $pathToHead = DOKU_INC . '.git/' . $headCommit;
116                     $packedRefs = file_get_contents(DOKU_INC . '.git/packed-refs');
127             // Get commit date from Git object
130             $gitCommitObject = DOKU_INC . ".git/objects/$subDir/$fileName";
154  * "Release" or "Git" and date is the date of the release or the date of the
156  * git checkouts.