On 9/25/18 10:45 PM, Paul Borel wrote: > Hello, > > It is possible to add the extension '.git' to repositories ? Can you say more about the rationale and use case for that? It seems like redundant and unnecessary complexity? /Mads