[cross-project-issues-dev] setting mirror URL in the p2 repository

[Lorenzo Bettini <lorenzo.bettini@xxxxxxxxx>]

Hi

as suggested here https://wiki.eclipse.org/Equinox/p2/p2.mirrorsURL we
set the mirror property in our artifacts.jar when releasing.

We do that by using org.eclipse.wtp.releng.tools.addRepoProperties as
done in other projects, e.g.,
https://git.eclipse.org/c/recommenders/org.eclipse.recommenders.git/tree/repositories/pom.xml

this has worked up to now, but after we moved to tycho 0.25, which also
generates the .xml.xz zipped version, we noted that the mirror property
is not set in the artifacts.xml.xz (but only in artifacts.jar).

Would mirroring still work?

If not, has anyone noticed this behavior?

thanks in advance
	Lorenzo

-- 
Prof. Lorenzo Bettini, Computer Science, DISIA, Univ. Firenze
HOME: http://www.lorenzobettini.it
Xtext Book:
https://www.packtpub.com/application-development/implementing-domain-specific-languages-xtext-and-xtend-second-edition