Retire GitHub mirrors of archived GitLab repos
There are 20 or so archived projects at https://gitlab.freedesktop.org/archived-projects
Former freedesktop.org projects which are no longer maintained. These projects are not supported in any way, and their code is presented only for archival purposes.
Some of these such as https://gitlab.freedesktop.org/archived-projects/libxklavier have a mirror on GitHub https://github.com/freedesktop/libxklavier
The GitHub mirror should make clear that the project is no longer maintained. Possible solutions are
- Archive the GitHub mirrors https://docs.github.com/en/repositories/archiving-a-github-repository/archiving-repositories
- Delete the GitHub mirrors https://docs.github.com/en/repositories/creating-and-managing-repositories/deleting-a-repository