Skip to content

WIP: ensure remote branches are known after push

Dan Villiom Podlaski Christiansen requested to merge topic/default/issue-336 into branch/default

A bare push doesn't currently affect remote branches.

Fixes #336

Merge request reports