ban repo name ending in ".git"

'user.html' says:

    The ".git" at the end is optional for git commands (i.e., you can use
    "testing.git" instead of "testing" for clone, fetch, push, etc., if you
    like) but gitolite commands in general will not like the additional ".git"
    at the end.

Until now, we've been catching this trailing ".git" in various commands and
such, but there are so many programs, it's hard to make sure they all do this
properly.

This patch catches it deep inside gitolite core.

(based on patch sent by Paul Sokolovsky)

src/lib/Gitolite/Conf/Load.pm

@@ -252,6 +252,7 @@ sub sanity {
     _die "'$repo' ends with a '/'"  if $repo =~ m(/$);
     _die "'$repo' contains '..'"    if $repo =~ $REPONAME_PATT and $repo =~ m(\.\.);
     _die "'$repo' contains '.git/'" if $repo =~ $REPONAME_PATT and $repo =~ m(\.git/);
+    _die "'$repo' ends with '.git'" if $repo =~ m(\.git$);
 }
 
 sub repo_missing {