Fix issue bot

ondrejmirtes · ondrejmirtes · commit d9bd24610d3b · 2025-07-30T07:47:15.000+02:00
diff --git a/issue-bot/src/Console/DownloadCommand.php b/issue-bot/src/Console/DownloadCommand.php
@@ -122,6 +122,9 @@ protected function execute(InputInterface $input, OutputInterface $output): int
 				}
 				$phpVersionHashes[] = $hash;
 			}
+			if (count($phpVersionHashes) === 0) {
+				continue;
+			}
 			$chunkSize = (int) ceil(count($phpVersionHashes) / 18);
 			if ($chunkSize < 1) {
 				throw new Exception('Chunk size less than 1');

Original file line number	Diff line number	Diff line change
`@@ -122,6 +122,9 @@ protected function execute(InputInterface $input, OutputInterface $output): int`
`122`	`122`	`}`
`123`	`123`	`$phpVersionHashes[] = $hash;`
`124`	`124`	`}`
	`125`	`+ if (count($phpVersionHashes) === 0) {`
	`126`	`+ continue;`
	`127`	`+ }`
`125`	`128`	`$chunkSize = (int) ceil(count($phpVersionHashes) / 18);`
`126`	`129`	`if ($chunkSize < 1) {`
`127`	`130`	`throw new Exception('Chunk size less than 1');`