chiark / gitweb /
dgit-repos-server: tag2upload: Drop an obsolete comment