vera++ on debian git: collab maint
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
Repo vera++.git has been created
It looks like this is working:
$ git clone ssh://firstname.lastname@example.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.