github https is dumb