On Mon, Feb 4, 2013 at 7:07 PM, Johannes Schlüter <johan...@schlueters.de>wrote:
> On Mon, 2013-02-04 at 18:49 +0100, Ferenc Kovacs wrote: > > > > Yeah, this what I mentioned by 'I can use my personal github account for > > storing the configs for the time being'. > > If you mean creating a repo under the http://github.com/php then I > think it > > would be a little bit confusing, because all of the repos there are only > > mirrors for the ones on http://git.php.net/ > > Another approach might be that jenkins commits locally and the git > server pulls itself via cronjob or something. > > No idea whether that's more useful, just throwing ideas out. > > johannes > > > yeah, that would work also, but it has some of the concerns that were mentioned about the git push way: if you somehow compromise the jenkins box, you can get rouge commits to the jenkins git.php.net repo. as I mentioned, I think I will use some 3rd party repo(github probably) for the configs and manually merge stuff to the web/jenkins repo on git.php.netonce in a while. -- Ferenc Kovács @Tyr43l - http://tyrael.hu
