have to provide a redirection service which isn't feasible for all
repos.
-Original Message-
From: Brett Porter [mailto:[EMAIL PROTECTED]
Sent: Sunday, March 16, 2008 7:06 PM
To: Maven Developers List
Subject: Maven's future repository support
: Sunday, March 16, 2008 7:06 PM
To: Maven Developers List
Subject: Maven's future repository support
Forking the other thread.
Maven still needs to work properly without a repository manager (even
if it is a good practice to use one). In my opinion, that means:
- proper unique identifiers
Forking the other thread.
Maven still needs to work properly without a repository manager (even
if it is a good practice to use one). In my opinion, that means:
- proper unique identifiers for repositories (my preference would
actually be to control this by group ID, but I see too many
That sounds good to me, and I see where the identifiers have come in;
I think you could do without them though, and just use the repository
URI as the identifier :-
For 'external' mirrors, accessed directly and not through a repo manager:
Say you have repo1.maven.org/maven2, and global mirrors of
List
Subject: Maven's future repository support
Forking the other thread.
Maven still needs to work properly without a repository manager (even
if it is a good practice to use one). In my opinion, that means:
- proper unique identifiers for repositories (my preference would
actually