development: Updates for rename of repo