On Tue, Feb 4, 2014 at 1:28 PM, Gasol Wu <[email protected]> wrote:
> Hi Ferenc, > > It seems okay to clone with both url. > But i have one question. What repository do i push the changes? > In my opinion, I should push the changes to git.php.net. the Github > repository is just mirror only, Is it rights? > > Thanks for clarification, > Gasol. > > you are correct, the github repository is just an automatic mirror from the git.php.net one.
