Re[2]: How to manage github pull requests?
| From: | Andre Polykanine via phpdoc | Date: | Sun, 27 Dec 2020 14:15:24 +0000 |
| Subject: | Re[2]: How to manage github pull requests? | ||
| References: | 1 2 3 4 5 6 7 8 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969387741@lists.php.net to get a copy of this message | ||
Hello Christoph,
> I don't think I have karma to create Git mirrors, but to clarify, would
> all existing translations need to have Git mirrors, or only the active
> languages?
As a big Github fan, I'd say that's needed for all languages since
many people (I'm pretty sure) would far easier contribute to Github
than go through the edit.php.net procedure.
--
With best regards,
Andre
Munich, Germany
Skype: menelion_elensule
Twitter (English only): @AndrePolykanine