Add info on how to update CI servers