Re: [PHP-DEV] Maintain Windows PHP dependency builds in a GH repo

2024-09-13 Thread Christoph M. Becker
On 13.09.2024 at 11:42, Derick Rethans wrote: > On Wed, 11 Sep 2024, Christoph M. Becker wrote: > >> While the upload/download issue might be solved one way or the other, >> having a Git repository for the series files might solve a couple of >> issues. I've set up

Re: [PHP-DEV] Maintain Windows PHP dependency builds in a GH repo

2024-09-13 Thread Derick Rethans
On Wed, 11 Sep 2024, Christoph M. Becker wrote: > On 11.09.2024 at 15:51, Derick Rethans wrote: > > > > Ideally, instead of having downloads.php.net/~windows, we have > > downloads.php.net/windows which is a Git repository for the series > > files, but it is probably better if it's all in that s

Re: [PHP-DEV] Maintain Windows PHP dependency builds in a GH repo

2024-09-11 Thread Christoph M. Becker
On 11.09.2024 at 15:51, Derick Rethans wrote: > On Sun, 8 Sep 2024, Christoph M. Becker wrote: > >> On 08.09.2024 at 16:58, Derick Rethans wrote: >> > > Ok, but I still don't see why you need an RFC for this? :-) Oh, I don't need an RFC for this. Actually, you can read my question as "does this *

Re: [PHP-DEV] Maintain Windows PHP dependency builds in a GH repo

2024-09-11 Thread Derick Rethans
On Sun, 8 Sep 2024, Christoph M. Becker wrote: > On 08.09.2024 at 16:58, Derick Rethans wrote: > > > I think it needs some good thinking through first. I also don't > > believe the RFC system is something we need to use for deciding how > > to serve files. > > This is not about *how* to serve

Re: [PHP-DEV] Maintain Windows PHP dependency builds in a GH repo

2024-09-08 Thread Christoph M. Becker
On 08.09.2024 at 16:58, Derick Rethans wrote: > On Sun, 8 Sep 2024, Christoph M. Becker wrote: > >> The upload could be as simple as a cron'd `git pull` on the server. > > All our websites, including PHP downloads, use the rsync server for > this. That server has a GIT checkout, and then the Web s

Re: [PHP-DEV] Maintain Windows PHP dependency builds in a GH repo

2024-09-08 Thread Derick Rethans
On Sun, 8 Sep 2024, Christoph M. Becker wrote: > All these problems could be solved, or at least mitigated, by setting > up a Github repository for the dependency builds and the series files. > The upload could be as simple as a cron'd `git pull` on the server. All our websites, including PHP d