Please consider the following formatting changes to #14921#139

alibuild wants to merge 3 commits into

davidrohr:dev_pull_request6davidrohr/AliceO2:dev_pull_request6from

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