search

w3c / ash-nazg

One interface to find all group contributors and in IPR bind them
https://labs.w3.org/repo-manager/
MIT License
22 stars 18 forks source link

Rename WICG/ScrollToTextFragment to WICG/scroll-to-text-fragment #231

Closed bokand closed 2 years ago

bokand commented 2 years ago

The repo was renamed long ago to match WICG naming style but it looks like the IPR bot is still looking for the old name at https://labs.w3.org/repo-manager/repos which is causing failed checks on pull requests. Would appreciate guidance/help, thanks!

deniak commented 2 years ago

Hi,

The repository manager doesn't support repository renaming yet. I've updated the name manually so the problem should be fixed for your repository. Are you able to redeliver the webhook payload for the 2 pending PRs https://github.com/WICG/scroll-to-text-fragment/pull/175 and https://github.com/WICG/scroll-to-text-fragment/pull/176? If you aren't sure how to do this, I'm happy to help but I'll need admin rights to the repository to get access to the webhook.

bokand commented 2 years ago

I think I figured it out. At least, I got the IPR success check on those PRs so I think it worked?

Thanks for the help!