testing that repo rename works