Re: [sr-dev] HTTPS access to GIT