using https to get around funky git auth stuff