Please consider the following formatting changes to #14651#127

alibuild wants to merge 1 commit intodavidrohr:dev_pull_request5davidrohr/AliceO2:dev_pull_request5from

alibuild:alibot-cleanup-14651alibuild/AliceO2:alibot-cleanup-14651Copy head branch name to clipboard