Removed repo redirect, unneeded on master and harmful for mirroring
Merge pull request #1402 from AltGr/no-redirect

Removed repo redirect, unneeded on master and harmful for mirroring