Re: [php/doc-base] Requests diffs directly from GitHub. (#22)

On Fri, Apr 16, 2021 at 8:19 PM Andreas Heigl <andreas@heigl.org> wrote: > All repos on euk2.php.net are now syncing directly from the respective > github repos. > > I changed the remote from git.php.net/doc/* to github.com/php/doc-* > > So all issues that occur locally from github based repos should now also > occur on euk2 ;-) > Hi! Sorry, but there is something missing after this changes... $ git clone git@git.php.net:/doc/en.git git.php.net.doc.en $ cd git.php.net.doc.en $ git --no-pager log --name-only | grep 34f991853507ec328336f0fb79b839faa043e92a Returns nothing, whereas: $ git remote -v origin https://github.com/php/doc-en.git (fetch) origin https://github.com/php/doc-en.git (push) $ git --no-pager log --name-only | grep 34f991853507ec328336f0fb79b839faa043e92a commit 34f991853507ec328336f0fb79b839faa043e92a I checked that: $ git remote -v origin git@git.php.net:/doc/en.git (fetch) origin git@git.php.net:/doc/en.git (push) commit 025f2d34ccb45dc2d8b865a758fd96601903f0d9 Author: Christoph Michael Becker <cmb@php.net> Date: Sat Nov 28 23:09:30 2020 +0000 Document nullsafe operator Closes GH-244. git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@351735 c90b9560-bf6c-de11-be94-00142212c4b1 Whereas: $ git remote -v origin https://github.com/php/doc-en.git (fetch) origin https://github.com/php/doc-en.git (push) $ git --no-pager log --name-only -- appendices/tokens.xml | head -10 commit 34f991853507ec328336f0fb79b839faa043e92a Author: Deleu <deleugyn@gmail.com> Date: Wed Mar 3 19:10:08 2021 +0100 Update documentation related to PHP Tokens Co-authored-by: Christoph M. Becker <cmbecker69@gmx.de> Closes GH-474. André L F S Bacci