change from git to https protocol for easier access through firewalls