Fixed Git Repositories

Git push works over HTTPS

Repositories can now receive pushes through their HTTPS clone URL.

The HTTPS Git transport now recognises both phases of a push request, so a repository can be cloned and then updated with git push using its repository access token.