Fix ignore of local .git mirror repos.

This speeds up the build significantly by avoiding copying
redundant information.