Mikescher/www.mikescher.com
1
0
Fork 0
Code Actions Activity

added extendedgitgraph_refresh php cli-script

Browse Source
This commit is contained in:
Mike Schwörer
2022-10-16 15:53:52 +02:00
parent cb22029f7e
commit 8186165019
5 changed files with 64 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
www/extern/egg/RemoteSource.php vendored
View File

@@ -329,7 +329,7 @@ abstract class StandardGitConnection implements IRemoteSource
$json = $this->queryCommits($repo->Name, $branch->Name, $next_sha[0]);
}
$this->logger->proclog("HEAD pointer in Branch: [" . $this->name . "|" . $repo->Name . "|" . $branch->Name . "] no longer matches. Re-query all " . count($newcommits) . " commits (old HEAD := {".substr($branch->Head, 0, 8)."}, missing: [" . join(", ", array_map(function($p){return substr($p, 0, 8);}, $next_sha)) . "] )");
$this->logger->proclog("HEAD pointer in Branch: [" . $this->name . "|" . $repo->Name . "|" . $branch->Name . "] no longer matches. Re-query all " . count($newcommits) . " commits (old HEAD := {".substr($branch->Head ?? 'NULL', 0, 8)."}, missing: [" . join(", ", array_map(function($p){return substr($p ?? 'NULL', 0, 8);}, $next_sha)) . "] )");
$db->deleteAllCommits($branch);