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 -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
