Mercurial Pull mirrors: activate the UI refresh button (!837) · Merge requests · heptapod / heptapod

Georges Racinet requested to merge topic/heptapod-oldstable/mirror-hg-pull into branch/heptapod-oldstable Sep 04, 2024

also, first pipeline after deciding that py-heptapod branches should not track Heptapod series (#1674 (closed)) and therefore have to be installed from PyPI (default would also be an option, but it feels more complete to use released versions only).

Mercurial Pull mirrors: activate the UI refresh button

Merge request reports