git-server-plugin & jgit repo

[domi]

Hi all,

is there a reason why the eclipse repo (http://download.eclipse.org/jgit/maven) used by the git-server-plugin is not mirrored by http://repo.jenkins-ci.org/public/

https://wiki.jenkins-ci.org/display/JENKINS/Git+Server+Plugin

Should I add it to out mirror or is there a reason for this?

reagards Domi

[nicolas de loof-2]

+1, please add as mirror

2012/10/7 domi <[hidden email]>:
> Hi all,
> is there a reason why the eclipse repo
> (http://download.eclipse.org/jgit/maven) used by the git-server-plugin is
> not mirrored by http://repo.jenkins-ci.org/public/
> https://wiki.jenkins-ci.org/display/JENKINS/Git+Server+Plugin
> Should I add it to out mirror or is there a reason for this?
> reagards Domi

[kohsuke Kawaguchi (CB)]

Added. http://repo.jenkins-ci.org/jgit/

On 10/07/2012 08:14 AM, nicolas de loof wrote:

> +1, please add as mirror
>
> 2012/10/7 domi <[hidden email]>:
>> Hi all,
>> is there a reason why the eclipse repo
>> (http://download.eclipse.org/jgit/maven) used by the git-server-plugin is
>> not mirrored by http://repo.jenkins-ci.org/public/
>> https://wiki.jenkins-ci.org/display/JENKINS/Git+Server+Plugin
>> Should I add it to out mirror or is there a reason for this?
>> reagards Domi
>

--
Kohsuke Kawaguchi | CloudBees, Inc. | http://cloudbees.com/
Try Nectar, our professional version of Jenkins