Re: Karma in github.com/php/doc-pt_br wiki

On Thu, Jan 28, 2021 at 3:08 PM Christoph M. Becker <[email protected]>
wrote:

> On 28.01.2021 at 18:43, Adiel Cristo via phpdoc wrote:
>
> > On Thu, Jan 28, 2021 at 2:16 PM André L F S Bacci <[email protected]> wrote:
> >
> >> On Thu, Jan 28, 2021 at 2:59 PM Adiel Cristo <[email protected]>
> >> wrote:
> >>
> >>> Thanks, Nikita.
> >>> I tried to merge a PR but I don't have permission to do it on protected
> >>> branches.
> >>
> >> I think that PRs should be closed, only. These are mirror repositories,
> >> and the only canonical, push accepting git repo is git.php.net.
> >
> > Thanks, André. I misunderstood it.
> > For a moment I thought that would be possible to follow
> > the GitHub workflow.
>
> Yes, you need to push to git.php.net, but you can add
>
>   Closes GH-<number>.
>
> to the commit message to automatically close the respective PR (and to
> have a bidirectional link for future reference).
>
> Christoph
>

Thanks, Christoph. I just did it.

Adiel