Re: git.php.net not syncing from GitHub
[email protected] (Nikita Popov)
| Newsgroups | php.doc |
|---|---|
| Message-ID | <CAF+90c8g-fCD028t1kKvVN9RLT3ZcXpBsRsjL9LhD_xp80NQsg@mail.gmail.com> |
On Fri, Apr 23, 2021 at 10:07 PM André L F S Bacci <[email protected]> wrote: > Hi, > > The title says it all. Reproduction code: > > $ git clone [email protected]:/doc/en.git gitphp > $ git clone [email protected]: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