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

Hi,

Andreas Heigl <[email protected]>, 17 Nis 2021 Cmt, 12:30 tarihinde şunu yazdı:
>
> Hey Nilgün
>
> Am 17.04.21 um 10:57 schrieb Nilgün Belma Bugüner:
> > Hi,
> >
> > Andreas Heigl <[email protected]>, 16 Nis 2021 Cum, 23:19 tarihinde şunu yazdı:
> >
> >>
> >> 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 ;-)
> >>
> >
> > As translators, we need a web interface like git.php.net
> > We use revcheck.php script to get the differences (git diff).
> > ( https://git.php.net/?p=doc/base.git;a=blob_plain;f=scripts/revcheck.php )
> >
> > For example, i should be able to run the following command on  euk2.php.net.
> >
> > https://git.php.net/?p=doc/en.git;a=blobdiff;f=reference/image/functions/imageline.xml;hb=f85d380904ca6cfcc5d71d5efe44d6a4a673e2b1;hpb=96c9d88bad9a7d7d44bfb7f26c226df7ee9ddf26;
> >
> > We cannot get the same output on github.com with such a command:
> >
> > https://github.com/php/doc-en/compare/96c9d88bad9a7d7d44bfb7f26c226df7ee9ddf26..f85d380904ca6cfcc5d71d5efe44d6a4a673e2b1#diff-7d8771e20183d6a2a27f3abd85c79eea92a17991e58554fc05a6892fd0279557
> >
> > That's the problem.
>
> But that is a problem based on the Webinterface on github, not based on
> the fact that the repositories that are used to build the documentation
> were pointing to the wrong remote repo.
>
correct.

> And as far as I know the revcheck script is being rewritten anyhow as it
> wasn't working for git anyhow as it was still based on the SVN. So that
> is something that needs to be fixed on a different level.
>
While git.php.net was the official repository, the recvheck script was running
for git on git.php.net.

> And if git.php.net is a read-only mirror of github.com/php then the
> revcheck can still point to git.php.net.
correct.

> If that doesn't work because
> there are differences between git.php.net and github.com/php then that
> is an issue that needs fixing on a different level as they should both
> be identical (given the assumption that git.php.net is a read-only
> mirror of github.net/php)
>
This is exactly what we want.

regards,
Nilgün