Use git.laas.fr rather than trac.laas.fr