Re: pt_BR builds fails only locally
| From: | André L F S Bacci | Date: | Thu, 15 Apr 2021 02:31:56 +0000 |
| Subject: | Re: pt_BR builds fails only locally | ||
| References: | 1 2 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969387896@lists.php.net to get a copy of this message | ||
On Wed, Apr 14, 2021 at 9:41 PM Christoph M. Becker <cmbecker69@gmx.de>
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é