Re: [infinispan-dev] Old JBoss repo in pom.xml
On 8 Jun 2011, at 14:04, Manik Surtani wrote:
On 8 Jun 2011, at 13:54, Sanne Grinovero wrote:
> On Wed, Jun 8, 2011 at 1:52 PM, Pete Muir <pmuir(a)redhat.com> wrote:
>>
>> This may be old news, but if something is missing from the "new" (ish
;-) r.j.o, but available in another repo, you can email Paul Gier and ask for that repo to
be added to the r.j.o consolidated repo.
>
> Se we could collect all needed dependencies and add them to jboss.org,
> so that nothing else is needed?
Yes, I believe so. This should be the correct approach.
You don't actually need to add anything to r.j.o, it's essentially a proxy to the
other repos. So tell Paul what other repos we are depending on, and he will add them, and
then those artifacts magically appear in the public group :-)