repopick: let's be nice to our servers :)

* Prefer fetching changes from GitHub, and if that fails,
  silently fall-back to Gerrit.

Change-Id: I78339ca14ffa44c71666dcf2e9c0a04f3f4b672c