git: Revert change to git-desired-protocol.

Authored by mpyne on May 17 2020, 5:00 PM.

Description

git: Revert change to git-desired-protocol.

We *always* use HTTPS to fetch new objects from git.

We *can support* setting the git "push URL" to HTTPS also, and some
users will need this. But this complicates the existing practice of
using git + SSH to push changes to the KDE git infrastructure, so revert
this part of the change.

Details

Committed
mpyneMay 17 2020, 5:00 PM
Parents
R365:940f335506d4: Make sure to remove old pushInsteadOf mapping if git-desired-protocol changes.
Branches
Unknown
Tags
Unknown