assigned to @nik
fix/remove-github
restored source branch fix/remove-github
enabled an automatic merge when the pipeline for 16cbbb75 succeeds
merged
mentioned in commit 4b68f1cd