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