Git push doesn't work if ssh isn't allowed for the git user.

So get that user to use git-shell REAL SOON NOW. Like tonight.