Thread:Talk:Gerrit/remove git.wikimedia.org alternative remote (2)