How to add a new administrator to CodeCov?

[lionelkusch]

I am a new developer on the project HiDimStat.
I was looking with the actual administrator of the repository to be added as administrator for CodeCov in order to manage it but we didn't find the procedure for adding a new person as administrator.
Can you indicate to me the steps to follow?

[lionelkusch]

This problem has been solved; I don't know how.

[spalmurray]

@lionelkusch Codecov's administrators will be the same as your GitHub administrators. There's a job to sync this up but it's not always run right away. This could explain the fix happening on its own.