Currently opendev.org is the source and all repos in github.com are mirror. Thus we should point opendev.org instead of github.com . Change-Id: I50967bc2a5dcf69f6d76ba948c3955d55a4568f0