chiark / gitweb /
checkupdates: don't ignore repeated tags