Re: [U-Boot] [PATCH v2 1/3] buildman: Allow branch names which conflict with directories