git.tpo repository URLs do not redirect to gitweb.tpo