diff --git a/git.php b/git.php index 429974fce7..03e1d999c2 100644 --- a/git.php +++ b/git.php @@ -99,20 +99,20 @@
git checkout PHP-7.4
+ PHP HEAD:
+ git checkout master
git checkout PHP-8.0
+ PHP 8.4:
+ git checkout PHP-8.4
git checkout PHP-8.1
+ PHP 8.3:
+ git checkout PHP-8.3
git checkout PHP-8.2
git checkout master
+ PHP 8.1:
+ git checkout PHP-8.1