
All this has moved to static.opendev.org; the server can now be removed. Change-Id: I8ca5d7a206e950c28bb8372a85b6a62d6b9ba00c
All this has moved to static.opendev.org; the server can now be removed. Change-Id: I8ca5d7a206e950c28bb8372a85b6a62d6b9ba00c