[newmaint-site] contributors.d.o source for git.debian.org

Enrico Zini enrico at enricozini.org
Sat Jan 31 16:45:53 UTC 2015


On Wed, Jan 07, 2015 at 09:05:25AM +0000, Martín Ferrari wrote:

> > * There seems to be some git repos inside other git repo directories,
> > which is pretty weird. Most of them seem to be non-bare repositories
> > with bare-repo-looking names (e.g.
> > /srv/git.debian.org/git/debian-med/liboptions-java.git/.git). Since find
> > takes 2 orders of magnitude more time if I don't stop processing at the
> > first occurence, I chose to ignore them.
> 
> Another thing I just realised: I am currently also processing all SVN
> repositories as a single source, and I should exclude the same groups
> there.. Enrico, are you processing collab-maint's svn repo in their source?

Yes I am, you can exclude it from your scans.


Enrico

-- 
GPG key: 4096R/E7AD5568 2009-05-08 Enrico Zini <enrico at enricozini.org>



More information about the newmaint-site mailing list