vera++ on debian git: collab maint

[Mathieu Malaterre <mathieu.malaterre@gmail.com>]

Hi there,

  Just out of curiosity, is this normal if I do not see the
collab-maint/vera++ from my firefox on http://git.debian.org.

  I did setup the git server using:

$ ./setup-repository vera++ 'Programmable verification and analysis
tool for C++'
Initialized empty shared Git repository in
/srv/git.debian.org/git/collab-maint/vera++.git/
Repo vera++.git has been created

It looks like this is working:

$ git clone ssh://malat-guest@git.debian.org/git/collab-maint/vera++.git
Initialized empty Git repository in /tmp/200/vera++/.git/
remote: Counting objects: 153, done.
remote: Compressing objects: 100% (100/100), done.
remote: Total 153 (delta 48), reused 151 (delta 48)
Receiving objects: 100% (153/153), 87.71 KiB, done.
Resolving deltas: 100% (48/48), done.

Thanks
-- 
Mathieu