Use https for initial git pull to avoid needing keys