gerrit: Remove duplicate mirrors

These are all obsolete now as these repos have been properly
renamed with redirects on GitHub itself (thus avoiding duplicate
entry points on GitHub for Stars, Pull requests, Issues etc. as
well as duplicate results in Code Search).

Bug: 68054
Change-Id: I9d30430cf87ba32f47ac2ba15e09e490e7a7a133