[sr-dev] HTTPS access to GIT