From e36a0eccabe691f3c1b4eabfe03c21b06f91118a Mon Sep 17 00:00:00 2001
From: "Christoph M. Becker" <cmbecker69@gmx.de>
Date: Wed, 25 Sep 2024 13:47:09 +0200
Subject: [PATCH] rmtools are gone

These are not used for years, and the repository has been archived:
<https://github.com/php/web-rmtools>.
---
 .gitignore                    | 3 ---
 lib/php/libsdk/SDK/Config.php | 5 -----
 2 files changed, 8 deletions(-)

diff --git a/.gitignore b/.gitignore
index d6b2cf8..c2503fa 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,8 +9,6 @@ phpmaster
 php
 !lib/php
 !bin/php
-rmtools-client
-rmtools.base
 logs
 PFTT
 \.tmp
@@ -18,7 +16,6 @@ PFTT
 oracle
 # either these two become submodules, or uncomment them
 #pgo-build
-#rmtools*
 phpsdk-local.bat
 pgo/work
 !pgo/tpl/php
diff --git a/lib/php/libsdk/SDK/Config.php b/lib/php/libsdk/SDK/Config.php
index ce5f279..b6bc6cd 100644
--- a/lib/php/libsdk/SDK/Config.php
+++ b/lib/php/libsdk/SDK/Config.php
@@ -212,11 +212,6 @@ public static function guessCurrentBranchName() : ?string
 		$branch = NULL;
 		$found = false;
 
-		$rmtools_branch = getenv("PHP_RMTOOLS_PHP_BUILD_BRANCH");
-		if ("master" == $rmtools_branch) {
-			return "master";
-		}
-
 		/* Try to figure out the branch. The worky scenarios are
 			- CWD is in php-src 
 			- phpize is on the path