Pipeline #87700 passed
Pipeline passed for e945bb0b on fix/remove-github 2 years ago
Merge details
Pipeline #87725 passed
#87733
Pipeline passed for 0a025d1b on master 2 years ago
assigned to @nik
fix/remove-github
restored source branch fix/remove-github
enabled an automatic merge when the pipeline for e945bb0b succeeds
merged
mentioned in commit 0a025d1b