Re: Karma in github.com/php/doc-pt_br wiki
[email protected] ("Christoph M. Becker")
| Newsgroups | php.doc |
|---|---|
| Message-ID | <[email protected]> |
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