Re: pt_BR builds fails only locally
| From: | André L F S Bacci | Date: | Thu, 15 Apr 2021 14:34:54 +0000 |
| Subject: | Re: pt_BR builds fails only locally | ||
| References: | 1 2 3 4 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969387900@lists.php.net to get a copy of this message | ||
On Thu, Apr 15, 2021 at 7:17 AM Andreas Heigl <andreas@heigl.org> 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 <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.
>
> 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