Please consider the following formatting changes to #15017#134

alibuild wants to merge 2 commits intodavidrohr:PRdavidrohr/AliceO2:PRfrom

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