git.php.net not syncing from GitHub

From:	André L F S Bacci	Date:	Fri, 23 Apr 2021 20:06:54 +0000
Subject:	git.php.net not syncing from GitHub
Groups:	php.doc
Request:	Send a blank email to phpdoc+get-969387918@lists.php.net to get a copy of this message

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


   

Thread (2 messages)

• André L F S BacciFri, 23 Apr 2021 20:06:54 +0000
  • Nikita PopovFri, 23 Apr 2021 20:09:25 +0000Re: git.php.net not syncing from GitHub