Re: pt_BR builds fails only locally

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.

Requests (almost) individual diffs directly from GitHub.

However, it
> might be more beneficial, if you set up a Github action to do the build;
> adapting
> <
> https://github.com/php/doc-en/blob/master/.github/workflows/integrate.yaml
> >
> isn't hard.  That is particularly useful for PRs.
>

Thanks, I will see this.

André