Re: Karma in github.com/php/doc-pt_br wiki
| From: | Christoph M. Becker | Date: | Thu, 28 Jan 2021 18:08:14 +0000 |
| Subject: | Re: Karma in github.com/php/doc-pt_br wiki | ||
| References: | 1 2 3 4 5 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969387823@lists.php.net to get a copy of this message | ||
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