Please consider the following formatting changes to #14210#120

alibuild wants to merge 2 commits intodavidrohr:dev_pull_request2davidrohr/AliceO2:dev_pull_request2from

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