If it was still used, then it ought to be replaced by a more findable longer name.
Pipeline #93438 passed
Pipeline passed for 71af0dc4 on rm_src 2 years ago
Merge details
Pipeline #93441 canceled
Pipeline canceled for 0337f897 on r20.0 2 years ago
enabled an automatic merge when the pipeline for 71af0dc4 succeeds
main
r20.0
changed target branch from main to r20.0
aborted the automatic merge because target branch was changed
mentioned in commit 0337f897
merged
