github insisting on https. Oh well.