Re: [PATCH 07/20] gitlab: Use the --board buildman flag