Andreas Gerstmayr c9bcd68953 don't recreate bare repo if it exists already (fixes #12303)		2012-02-26 18:15:10 +01:00
..
provider	(#11798) Fix git checkout of revisions	2012-01-19 15:20:40 -08:00
type	don't recreate bare repo if it exists already (fixes #12303)	2012-02-26 18:15:10 +01:00