tree f2f01f2b30cb2660f3b9f58e7fd419c4247dd041
parent e04495af1afdee1f2255100ad4705116ea07999c
author Florian Mayer <fmayer@google.com> 1559918098 +0100
committer Florian Mayer <fmayer@google.com> 1559918098 +0100

Use bigger machine for git mirror bot.

Change-Id: I7f7650d6abf203c01b39fce3705ffca1a032f919