Re: [PATCH v2 26/28] buildman: Add an option to ignore migration warnings