From 573b00a22956ab506c82b4dae7c12a7f7ce11148 Mon Sep 17 00:00:00 2001 From: Caen De Silva Date: Sat, 21 Dec 2024 17:57:14 +0100 Subject: [PATCH] Fix undefined array key --- .github/bin/pick.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/bin/pick.php b/.github/bin/pick.php index 34ad6a24..1db0145e 100644 --- a/.github/bin/pick.php +++ b/.github/bin/pick.php @@ -14,7 +14,7 @@ // Get arguments $hash = $argv[1]; $branch = $argv[2]; -$pretend = $argv[3] === '--pretend'; +$pretend = ($argv[3] ?? false) === '--pretend'; // Get the commit message exec("git show $hash --pretty=format:\"%s%n%b\" -s", $output, $returnCode);