Re: [tycho-user] p2 mirrors

Unfortunately that doesn't seem to work (the mirror is just ignored). I suppose this might work if I also define the repository in the pom.xml using some ID, but I would like to avoid this kind of redundancy if possible.

Does anyone have an idea why this isn't working? I am using Tycho 0.21 and Maven 3.2.3.