No more ".git" extension for checked out projects	Since git automatically removes the ".git" extension we changed our build scripts to respect that. It sure was easy to identify a git repository in the workspace by the ".git" extension. But we go with the default now.