Work around some devstack URLS using https://github rather than GIT_BASE