git.gnu.io has moved to IP address 126.96.36.199 -- please double check where you are logging in.
Now we have to fix any code in the core which directly uses the Fave class
or any other favorite stuff, since it is pluginised and thus might not be
available on some installations.
git.gnu.io is graciously hosted by the Free Software Foundation. https://donate.fsf.org