On Mon, Feb 4, 2013 at 6:43 PM, Florian Anderiasch <flor...@anderiasch.de>wrote:
> On 03.02.2013 15:18, Ferenc Kovacs wrote: > > >>> I requested this one, please approve it and also grant him karma for > >>> web/jenkins.git > > Wouldn't it be a possibility to just create a github repo and allow key > access only there? > > Greetings, > Florian > 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/ -- Ferenc Kovács @Tyr43l - http://tyrael.hu