git.php.net not syncing from GitHub
[email protected] (André L F S Bacci)
| Newsgroups | php.doc |
|---|---|
| Message-ID | <CAL1T4B2b-kCMWQmGPUS9Zt0uSRcruVUZSxLQVTE_hy5ZpbZ87g@mail.gmail.com> |
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