Welcome! Log In Create A New Profile

Advanced

[PHP] GitHub mirrors

Posted by Peter Kokot 
Peter Kokot
[PHP] GitHub mirrors
October 01, 2017 10:20PM
Hello,

The PHP repositories on GitHub:
https://github.com/php
are mirrors from git.php.net

However when browsing a particular repository, for example:
https://github.com/php/php-src

there don't seem to be any indication of the mirror information on the
GitHub directly, only in the README.md file of the source code (which is OK
for GitHub, but should be slightly refactored, when reading this file from
a download release).

Would be a good idea to add the mirror information on these repositories in
either the repository description or to contact GitHub and ask them to
enable mirror_url info for PHP repositories?

Notice how the mirror information is done on this repository, as an example:
https://github.com/gcc-mirror/gcc

The mirror_url is empty:
https://api.github.com/orgs/php/repos

Of course if it's possible and not too much things influence such change.

Thanks.

--
Peter Kokot
Peter Kokot
[PHP] Re: GitHub mirrors
October 09, 2017 09:00PM
The GitHub mirrors and all the things mentioned have been rethought
and can be solved here instead better and simpler:
https://github.com/php/php-src/pull/2833

--
PHP General Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php
Peter Cowburn
Re: [PHP] Re: GitHub mirrors
October 09, 2017 10:10PM
Hi Peter,

This mailing list is for general PHP support questions. A more appropriate
mailing list to use to let people know about your PR is
internals@lists.php.net

Thanks,
Peter

On 9 October 2017 at 19:52, Peter Kokot <[email protected]m> wrote:

> The GitHub mirrors and all the things mentioned have been rethought
> and can be solved here instead better and simpler:
> https://github.com/php/php-src/pull/2833
>
> --
> PHP General Mailing List (http://www.php.net/)
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>
Peter Kokot
Re: [PHP] Re: GitHub mirrors
October 09, 2017 11:10PM
> Hi Peter,
>
> This mailing list is for general PHP support questions. A more appropriate
> mailing list to use to let people know about your PR is
> internals@lists.php.net
>
> Thanks,
> Peter
>

Sure, I'll do that in the future for sure, but currently it's not
possible to subscribe and send mails to internals and some other
mailing lists due to a bug:
https://bugs.php.net/bug.php?id=74870

--
PHP General Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php
Peter Cowburn
Re: [PHP] Re: GitHub mirrors
October 10, 2017 12:00AM
On 9 October 2017 at 22:06, Peter Kokot <[email protected]> wrote:

> > Hi Peter,
> >
> > This mailing list is for general PHP support questions. A more
> appropriate
> > mailing list to use to let people know about your PR is
> > internals@lists.php.net
> >
> > Thanks,
> > Peter
> >
>
> Sure, I'll do that in the future for sure, but currently it's not
> possible to subscribe and send mails to internals and some other
> mailing lists due to a bug:
> https://bugs.php.net/bug.php?id=74870


There have been emails going to the list recently so I don't think that
part is broken, hopefully just the subscribing. Assuming that's the case,
you can send a mail to the list without being subscribed.
Sorry, only registered users may post in this forum.

Click here to login