updates induced by changed repo's name