1
0

Improve refresh-egg performance by re-using existing commits for new branches

This commit is contained in:
2022-10-17 19:57:11 +02:00
parent 18af582343
commit 1084bd36a6
6 changed files with 140 additions and 47 deletions

View File

@@ -32,10 +32,10 @@ class Branch
/** @var Repository */
public $Repo;
/** @var string */
/** @var string|null */
public $Head;
/** @var string */
/** @var string|null */
public $HeadFromAPI = null;
/** @var string */