Please consider the following formatting changes to #14828#131

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

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