test that rename of github repository worked correctly