Forward old Eclipse repos https://git.eclipse.org/c/ to github repos
Can the old https://git.eclipse.org/c/? from the top level Eclipse project been forwarded to their new Github location? For example https://git.eclipse.org/c/equinox/rt.equinox.p2.git/
If I gogole for "Github equinox p2" I get https://git.eclipse.org/c/equinox/rt.equinox.p2.git/ and first Google hit.
Edited by Lars Vogel