Re: Spring cleanup: cut some branches!

[Leo Famulari]

I deleted Andy Wingo's old branch 'wip-git-https'. All of its code seems
to have landed on 'master' years ago.