github using git instead of https