changes https handling for git
switches push style back to simple in anticipation of git 2.0