Turns out github already has a reserved bot label called `ubuntu-18.04`, so marking our self-hosted bot this way was adding it to the pool of machines that are used here.