...
In a private browsing window, login to github as the
openedx-codecov
user.Then login to codecov.io via this github user.
Go to the settings page for the relevant repository in the private browsing window:
https://app.codecov.io/gh/openedx/<repo_name>/settings
Copy the repository upload token (just the uuid!).
As an admin user, go to the repository secrets section of the repo:
https://github.com/openedx/<repo_name>/settings/secrets/actions
Add the token as a new secret named
CODECOV_TOKEN
...