Please consider the following formatting changes to #15318#143

alibuild wants to merge 1 commit intodavidrohr:devdavidrohr/AliceO2:devfrom

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