Merge remote-tracking branch 'origin/master' into fix-ipc-persistent-options

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

Description

Merge remote-tracking branch 'origin/master' into fix-ipc-persistent-options

Merged Changes

CommitAuthorDetailsCommitted
52026a14474empyne
git: Revert change to git-desired-protocol. 
May 17
940f335506d4ouwerkerk
Make sure to remove old pushInsteadOf mapping if git-desired-protocol changes. 
May 17