Maintenance of cloned repositories: git gc

Our cloned Git repositories need periodic maintenance with git gc. Rather than requiring an external tool to help maintain our cloned repositories, we should try to do it automatically.

One approach is to just run git gc after fetching the upstream repository heads in response to a push event.