If you need to rename your repo, please do not do this from GitHub or Open Source Portal directly. That will make the webhooks for OPS to be disconnected, so you will not be able to find the repo in OPS Portal or get any builds until we do a backend fix.
Instead, follow these steps:
- Find your repo in the Repo tab and click on it. You can also search for it.
- Click on Settings tab.
- Edit the repo name
- Click on "Save"