Christoph M. Becker 7bc1c7900f Add general support for exporting from a Github mirror ...

This is a follow up on the quick fix for exporting from the php-src
Github mirror[1].  Instead of hard-coding everything in the code, we
introduce a configurable `gh_url`, and use it if given.  We cannot use
the repository URL, though, because the toplevel folder inside the
downloaded archive would have a different name (the shortened revision
number is expanded again); downloading from the codeload subdomain
gives the desired result.

[1] <9e1ca1002a>

2020-09-07 13:42:26 +02:00

995 B

Raw Permalink Blame History

View Raw