com web/rmtools: Get php-src snapshots from Github: include/Git.php

Commit: 9e1ca1002ade165431925eca3c6ec898244de02c Author: Christoph M. Becker <cmbecker69@gmx.de> Sun, 6 Sep 2020 14:01:23 +0200 Parents: ef3a08671f05dad18f7da7be9b6930082d5d6a85 Branches: master Link: http://git.php.net/?p=web/rmtools.git;a=commitdiff;h=9e1ca1002ade165431925eca3c6ec898244de02c Log: Get php-src snapshots from Github Due to server overload, the snapshot downloads from http://git.php.net/ have been recently disabled. Therefore, we have to fetch the snapshots from Github. Unfortunately, rmtools expect everything available via GitWeb, so we can't just change the configuration in the respective INI files, so we hack around by hard-coding the download URL. Even worse, wget() apparently does not yet support redirects, so we use the codeload subdomain directly. For now this seems to resolve the snapshot build issues, but needs to be properly resolved soonish. Changed paths: M include/Git.php Diff: diff --git a/include/Git.php b/include/Git.php index fea418c..e9c0b86 100644 --- a/include/Git.php +++ b/include/Git.php @@ -42,6 +42,10 @@ class Git { $http_url = preg_replace('/git:\/\//', 'http://', $this->repo_url); $rev = $revision ? $revision : $this->branch; $url = $http_url . '/?p=' . $this->module . ';a=snapshot;h=' . $rev . ';sf=zip'; + // FIXME: hack to export from Github, since snapshot downloads have been disabled + if ($this->repo_url === 'git://git.php.net') { + $url = "https://codeload.github.com/php/php-src/zip/$rev"; + } $dest .= '.zip'; wget($url, $dest); return $dest;