repo id fix for jenkins