What is the current status with regards to renaming GitHub repository? Do I still need to recreate the Pages App?