bots: minor lint

Change-Id: I2636eda8171e996ca326caa9a8ff3352b9b89bf8
Merge "bots: minor lint" into production