Re: vera++ on debian git: collab maint

2009-08-13 Thread David Bremner
Mathieu Malaterre wrote: >I am checking again today for the http view of the vera++ rep and I >still cannot see it. >Clearly the files are older than 6hours ago, right ? Hi Mathieu. Something (gitweb?) does not like the name vera++.git. I cannot get it to show up even with the url http:/

Re: vera++ on debian git: collab maint

2009-08-13 Thread Mathieu Malaterre
On Thu, Aug 6, 2009 at 8:17 PM, Luca Bruno wrote: > Mathieu Malaterre scrisse: > >> 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. > > Quoting from http://wiki.debian.org/Alioth/Git > > «The symlinks used

Re: vera++ on debian git: collab maint

2009-08-06 Thread Luca Bruno
Mathieu Malaterre scrisse: > 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. Quoting from http://wiki.debian.org/Alioth/Git «The symlinks used for the gitweb interface are updated every six hours.» Cheer

Re: vera++ on debian git: collab maint

2009-08-06 Thread Michal Čihař
Hi Dne Thu, 6 Aug 2009 17:04:11 +0200 Mathieu Malaterre napsal(a): > Just out of curiosity, is this normal if I do not see the > collab-maint/vera++ from my firefox on http://git.debian.org. It usually takes some time till the listing refreshes. -- Michal Čihař | http://cihar.com |

vera++ on debian git: collab maint

2009-08-06 Thread Mathieu Malaterre
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 /sr