We work at a computer company. Let's use our computers

Presently there is a shortage of servers to run Buildomat workers for CI
jobs. Fortunately, we work at a company that makes servers. So we can
just make more servers. And then we can use those servers for CI. And
then everyone's happy.

In order to do that, we must use the `lab-2.0-gimlet` Buildomat target
rather than `helios-2.0` or `lab-2.0-opte` targets. It's possible that
some or all of Omicron's CI cannot easily do that due to special-cased
behavior for the `i86pc` architecture to detect running in a dev
environment. Luckily, no such behavior exists in Propolis, so
(hopefully!) we can just switch our Buildomat jobs to the
`lab-2.0-gimlet` target and (hopefully) it will Just Work. This way,
we're not competing with Omicron builds for the relatively scarce
non-Gimlet workers.

Author: hawkw

.github/buildomat/jobs/phd-run-migrate-from-base.sh

@@ -2,7 +2,7 @@
 #:
 #: name = "phd-run-migrate-from-base"
 #: variety = "basic"
-#: target = "lab-2.0-opte"
+#: target = "lab-2.0-gimlet"
 #: output_rules = [
 #:	"/tmp/phd-runner.log",
 #:	"/tmp/phd-tmp-files.tar.gz",

.github/buildomat/jobs/phd-run.sh

@@ -2,7 +2,7 @@
 #:
 #: name = "phd-run"
 #: variety = "basic"
-#: target = "lab-2.0-opte"
+#: target = "lab-2.0-gimlet"
 #: output_rules = [
 #:	"/tmp/phd-runner.log",
 #:	"/tmp/phd-tmp-files.tar.gz",