git-encrypt: use https for HEAD.

Closes #18151.