switch to using https for public repos