Closed SammyVimes closed 5 years ago
@SammyVimes could you resolve the merge conflicts? I'll then happily merge it
@timols done👌(btw, pull request's feed says commit is force pushed because I rebased on upstream and had to force push to my forked master)
(similar to web interface's Pipelines -> Run Pipeline)