chiark / gitweb /
delete old tags when configuration changes