Gitorious: remove repo links for repos with different names.