Re: Hosting PEAR's git repositories on git.php.net

From: Date: Wed, 05 Sep 2012 09:42:56 +0000
Subject: Re: Hosting PEAR's git repositories on git.php.net
References: 1 2 3 4 5 6  Groups: php.pear.dev 
Request: Send a blank email to pear-dev+get-55039@lists.php.net to get a copy of this message
Christian Weiske wrote:
Maybe we need to do something else: - Let people decide where they host their code, since it's the PEAR channel server that is the final karma control. - We provide code mirroring/backup preferably on git.php.net - We also mirror the code on github so people can easily fork the repositories and send pull requests. If tomorrow some other cool tool comes along, we can switch to it. - Somehow we need to get two-way mirroring working, which means that you can push either to git.php.net and get the code mirrored to github, or push to github and get mirrored to git.php.net. This should be possible as long as only one repository is used as main integration repo. - On the pear package pages, we offer links to the github repository as well as to the backup on git.php.net. - To not lose discussions in the github web interface, we need to pipe pull request discussion mails to the pear-dev mailing list.
That sounds a tidy roadplan? There is no problem making the code available on github ... and other external code hosting sites, but keep the master on a php controlled location ... -- Lester Caine - G8HFL ----------------------------- Contact - http://lsces.co.uk/wiki/?page=contact L.S.Caine Electronic Services - http://lsces.co.uk EnquirySolve - http://enquirysolve.com/ Model Engineers Digital Workshop - http://medw.co.uk Rainbow Digital Media - http://rainbowdigitalmedia.co.uk

« previous php.pear.dev (#55039) next »