Re: Re[4]: How to manage github pull requests?

On Sat, Dec 26, 2020 at 9:44 PM Andre Polykanine via phpdoc <
[email protected]> wrote:

> Hello André,
>
> > Yes. At least for pt_BR translation.
>
> What  can  be  done  to  make  it possible for other languages, namely
> Ukrainian and Russian?
>

Hello Andre,

After the docs SVN migration to git, my roundtrip process through a
particular GitHub is now pointless. I'm about to delete that repository.

For all,

It's now missing two things to complete the migration:

1. A big rewrite of Doc Howto [1], especially the new git commands and
public git repositories and/or GitHub mirrors;
2. A working revcheck.php.

I could try help with (2) btw. Where is the last developing effort?

André



[1] Remember this old fella? http://doc.php.net/tutorial/