[Patch] Redirect planet.fedoraproject.org to https://fedoraplanet.org