Merge "Change the GIT_BASE default to https://opendev.org"