bit
/
taskman
25
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

A bit tweaking heuristics for changed files (ignoring garbage created status)
Publish PHP Package / docker (push) Successful in 6s Details

This commit is contained in:
Pavel Shevaev 2025-04-18 14:49:22 +03:00
parent abe8d938cb
commit dbf30f1231
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
taskman.inc.php
View File

@ -322,6 +322,8 @@ class TaskmanFileChanges
$changed = array(); $changed = array();
$base_dir = dirname($_SERVER['PHP_SELF']); $base_dir = dirname($_SERVER['PHP_SELF']);
//for debug
//var_dump($decoded);
foreach($decoded as $items) foreach($decoded as $items)
{ {
@ -345,7 +347,11 @@ class TaskmanFileChanges
if($status == 'Changed') if($status == 'Changed')
$changed[$file] = self::Changed; $changed[$file] = self::Changed;
else if($status == 'Created') else if($status == 'Created')
$changed[$file] = self::Created; {
//let's status for files which were modified and then created
if(isset($changed[$file]) && $changed[$file] !== self::Changed)
$changed[$file] = self::Created;
}
else if($status == 'Renamed') else if($status == 'Renamed')
$changed[$file] = self::Renamed; $changed[$file] = self::Renamed;
else if($status == 'Deleted') else if($status == 'Deleted')