rename repo if name changed on github