Merge branch 'debianmirrorrole'
authorPeter Palfrader <peter@palfrader.org>
Sun, 22 Sep 2019 15:14:50 +0000 (17:14 +0200)
committerPeter Palfrader <peter@palfrader.org>
Sun, 22 Sep 2019 15:14:50 +0000 (17:14 +0200)
* debianmirrorrole:
  Do not ship sbin/mirror-health from the roles version while we migrate
  debian_mirror -> hiera role


Trivial merge