Skip to content

Cleanups after 0.17.1 release

Georges Racinet requested to merge topic/default/ci-native-remote-ok into branch/default
  • hg-native remote now required to pass in CI \o/
  • some refactoring
  • fixup for Docker SSH (had me lose a few minutes for about the 3rd time)

Merge request reports