use https instead of ssh urls to avoid ssh authorization problems