GitLab

The repository name metrics-db is confusing and should be changed to collector. Is there a way to leave a redirect or notice for people still accessing metrics-db to tell them they should clone collector instead?

If so, please rename the repository and leave that redirect or notice.

If not, please let me know how bad of an idea this is. Maybe I'll want it anyway, because not many people work on metrics-db. Or maybe I'll want something different depending on the available options.

Thanks!