bugfix: change from git:// to https://