Andrea Bolognani (2): ci: Remove Debian 9 special case ci: Add helper script ci/cirrus/refresh | 22 -------- ci/containers/refresh | 42 --------------- ci/helper | 118 ++++++++++++++++++++++++++++++++++++++++++ 3 files changed, 118 insertions(+), 64 deletions(-) delete mode 100755 ci/cirrus/refresh delete mode 100755 ci/containers/refresh create mode 100755 ci/helper -- 2.26.2