move legacy git redirections to the static mirror infrastructure

Once all lagacy Git repositories have been migrated to GitLab (#41215 (closed)), the redirections can be moved from gitweb (vineale) to the static mirror system.