that's a feature of github when renaming repos