5 commits

Author	SHA1	Message	Date
Christian Kühnel	da722d3e40	continuing after failures	2020-05-08 16:24:16 +02:00
Christian Kühnel	510ed904f8	adding flush after every print ... so it appears in the Jenkins logs	2020-05-08 15:36:13 +02:00
Christian Kühnel	8ea2a3b846	using different way for deleting remote branches	2020-05-08 15:33:45 +02:00
Christian Kühnel	d48ff97d0d	only push if we deleted something	2020-05-08 15:27:09 +02:00
Christian Kühnel	45b28dd0df	first version of repo cleanup script	2020-05-08 15:23:10 +02:00