Don't bail out if git gc removed refs

This commit is contained in:
Tobias Bell 2018-06-08 22:07:30 +02:00
parent f5302247c6
commit af3663edec

View file

@ -14,6 +14,8 @@
if (preg_match("/^ref: (.*)/", $head, $matches)) { if (preg_match("/^ref: (.*)/", $head, $matches)) {
$ref = $matches[1]; $ref = $matches[1];
if (!file_exists("$root_dir/.git/$ref"))
return VERSION_STATIC;
$suffix = substr(trim(file_get_contents("$root_dir/.git/$ref")), 0, 7); $suffix = substr(trim(file_get_contents("$root_dir/.git/$ref")), 0, 7);
$timestamp = filemtime("$root_dir/.git/$ref"); $timestamp = filemtime("$root_dir/.git/$ref");