Re: Karma in github.com/php/doc-pt_br wiki
| From: | Adiel Cristo via phpdoc | Date: | Thu, 28 Jan 2021 18:41:57 +0000 |
| Subject: | Re: Karma in github.com/php/doc-pt_br wiki | ||
| References: | 1 2 3 4 5 6 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969387824@lists.php.net to get a copy of this message | ||
On Thu, Jan 28, 2021 at 3:08 PM Christoph M. Becker <cmbecker69@gmx.de>
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 <ae@php.net> wrote:
> >
> >> On Thu, Jan 28, 2021 at 2:59 PM Adiel Cristo <adiel@adielcristo.com>
> >> 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