remove-reprepro-codename: run reprepro's clearvanished with --delete option
remove-reprepro-codename: run reprepro's clearvanished with --delete option

There might be packages left in the repos:

| # reprepro -b /srv/repository/ clearvanished
| There are still packages in 'foo/bar|main|amd64', not removing (give --delete to do so)!
| There are still packages in 'foo/bar|main|i386', not removing (give --delete to do so)!
| There are still packages in 'foo/bar|main|source', not removing (give --delete to do so)!

So get rid of the repos, no matter what.

webtrekk-kane/jenkins-debian-glue,hashar/jenkins-debian-glue,hetznerZA/jenkins-debian-glue,mika/jenkins-debian-glue,linuxmaniac/jenkins-debian-glue,cclausen/jenkins-debian-glue,jbfavre/jenkins-debian-glue,kartikm/jenkins-debian-glue,cclausen/jenkins-debian-glue,webtrekk-kane/jenkins-debian-glue,zeha/jenkins-debian-glue,linuxmaniac/jenkins-debian-glue,wikimedia/operations-debs-jenkins-debian-glue,n054/jenkins-debian-glue,bmiklautz/jenkins-debian-glue,vorlock/jenkins-debian-glue,jbfavre/jenkins-debian-glue,kartikm/jenkins-debian-glue,tonin/jenkins-debian-glue,zeha/jenkins-debian-glue,mika/jenkins-debian-glue,hetznerZA/jenkins-debian-glue,n054/jenkins-debian-glue,bmiklautz/jenkins-debian-glue,hashar/jenkins-debian-glue,wikimedia/operations-debs-jenkins-debian-glue,tonin/jenkins-debian-glue,vorlock/jenkins-debian-glue