From 5ceaa75275de4f1f3bd1a6fb9cbe9381b99a1d02 Mon Sep 17 00:00:00 2001 From: Pierrick Charron Date: Tue, 10 Jun 2025 12:41:55 -0400 Subject: [PATCH] Update branches in git.php (#1275) --- git.php | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/git.php b/git.php index 429974fce..03e1d999c 100644 --- a/git.php +++ b/git.php @@ -99,20 +99,20 @@ site_header("Git Access", ["current" => "community"]);
  • You can then check out the branch you want to build, for example:

    - PHP 7.4: - git checkout PHP-7.4 + PHP HEAD: + git checkout master
    - PHP 8.0: - git checkout PHP-8.0 + PHP 8.4: + git checkout PHP-8.4
    - PHP 8.1: - git checkout PHP-8.1 + PHP 8.3: + git checkout PHP-8.3
    PHP 8.2: git checkout PHP-8.2
    - PHP HEAD: - git checkout master + PHP 8.1: + git checkout PHP-8.1