Re: git.php.net not syncing from GitHub
| From: | Nikita Popov | Date: | Fri, 23 Apr 2021 20:09:25 +0000 |
| Subject: | Re: git.php.net not syncing from GitHub | ||
| References: | 1 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969387919@lists.php.net to get a copy of this message | ||
On Fri, Apr 23, 2021 at 10:07 PM André L F S Bacci <ae@php.net> wrote:
> Hi,
>
> The title says it all. Reproduction code:
>
> $ git clone git@git.php.net:/doc/en.git gitphp
> $ git clone git@github.com:php/doc-en.git github
> $ ( cd gitphp; git --no-pager log --name-only | grep
> ab1ffcd2351dff3f1a92fb5afa1415d39df27369 )
> $ ( cd github; git --no-pager log --name-only | grep
> ab1ffcd2351dff3f1a92fb5afa1415d39df27369 )
> commit ab1ffcd2351dff3f1a92fb5afa1415d39df27369
> $
>
> There an automated
git pull missing somewhere?
>
> André L F S Bacci
>
git.php.net is not intended to sync from GitHub. It is not a mirror.
Nikita