I'd like to ask to change the current bot pool from default to ChromeOS or something of your choice, like ChromeOS-proxy or whatever you prefer, CamelCase isn't required either so chromeos-proxy is fine too.

The reason is that we'll eventually want to merge the instances and one of the step is to make disjoint pools. Doing this earlier will simplify everyone's life later.

This is to be done in 4 steps, each a single line CL (except for a unit test to update):

1) Add the following line right after (https://chrome-internal.googlesource.com/infradata/config.git/+/master/configs/chromeos-proxy/bots.cfg#16)
  dimensions: "pool:ChromeOS-proxy"
The entries are additive so the bots will be both pools.

2) Update cbuildbot to use pool:ChromeOS instead of pool:default.
https://chromium.googlesource.com/chromiumos/chromite.git/+/master/cbuildbot/commands.py#1163
https://chromium.googlesource.com/chromiumos/chromite.git/+/master/cbuildbot/commands_unittest.py#311

3) Merge in a few release branch to not have to wait 3 months.

4) Remove dimensions: "pool:default" from bots.cfg.