]
Paul Leacu commented on JBTIS-1242:
-----------------------------------
The static mirror for jbosstools was out of whack with the standard directory - i.e.
vs.
. so I just pushed a new
copy manually (i.e. I copied
Naturally the static mirror appears to be cached so even though they're correct when I
mount them they appear wrong when you use the URLs.
Anyway - I'll check again in a while. If they are identical you can try your Jenkins
job again to see if there are other stragglers.
Error while releasing JBoss Tools / DevStudio
---------------------------------------------
Key: JBTIS-1242
URL:
https://issues.jboss.org/browse/JBTIS-1242
Project: JBoss Tools Integration Stack
Issue Type: Bug
Components: distribution
Reporter: Jeff MAURY
Assignee: Paul Leacu
Priority: Major
I took over Nick Boldt ([~nickboldt] release engineering for JBoss Tools. Everything went
fine except checks that detected some errors in the update sites (see comment)