Skip to content

WIP: ensure remote branches are known after push

A bare push doesn't currently affect remote branches.

Fixes #336

Merge request reports