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