Re: pt_BR builds fails only locally

On Thu, Apr 15, 2021 at 7:17 AM Andreas Heigl <[email protected]> wrote:

> Hey folks
>
> Am 15.04.21 um 04:31 schrieb André L F S Bacci:
> > On Wed, Apr 14, 2021 at 9:41 PM Christoph M. Becker <[email protected]>
> > wrote:
> >
> >> It seems to me that the build server may not have updated properly.
> >> While your patch would help to identify that, it would not solve the
> >> root cause.  Might still make sense to apply it, though.
> >
> >
> > The migration from git.php.net to GitHub wrecked the web diffs. I'm
> working
> > on this now, before I can work on translations again.
>
> The origin remote of the git-repos on euk2.php.net are still pointing to
> git.php.net.
>
> I'll fix that during the day and check that future repos are directly
> created with the origin pointing directly to github.
>

Hi, and thanks for the update.

I ask to test and apply these two PRs:, too:

- https://github.com/php/doc-base/pull/22
- https://github.com/php/systems/pull/16

André L F S Bacci