Re: Re[4]: How to manage github pull requests?
| From: | André L F S Bacci | Date: | Wed, 20 Jan 2021 18:48:05 +0000 |
| Subject: | Re: Re[4]: How to manage github pull requests? | ||
| References: | 1 2 3 4 5 6 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969387797@lists.php.net to get a copy of this message | ||
On Sat, Dec 26, 2020 at 9:44 PM Andre Polykanine via phpdoc <
phpdoc@lists.php.net> 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/