w3c / ash-nazg

One interface to find all group contributors and in IPR bind them

https://labs.w3.org/repo-manager/

MIT License

23 stars 24 forks source link

Repo transfers not being handled automatically #248

Closed krgovind closed 2 years ago

krgovind commented 2 years ago

We recently transferred https://github.com/WICG/CHIPS to https://github.com/privacycg/CHIPS, but it appears that the repo manager hasn't taken notice; https://labs.w3.org/repo-manager/repos still lists WICG/CHIPS.

I believe this may be the cause of the IPR bot failure in privacycg/CHIPS/pull/46

The repository manager doesn't know the following repository: privacycg/CHIPS

Can the WICG/CHIPS entry be updated to privacycg/CHIPS? (Is there a way to handle this automatically in the future?)

dontcallmedom commented 2 years ago

I've updated the repo manager to track this as part of the privacycg org (and the Privacy CG IPR scope) - making the IPR bot happy with https://github.com/privacycg/CHIPS/pull/46 at this point would be non-trivial - could it be merged with a comment explaining the situation?

236 tracks the need to make this automated