chiark / gitweb /
shared/machine-pool: remove unnecessary check