upcoming change on ci.debian.net: log compression

[Paul Wise]

On Wed, Nov 12, 2014 at 10:43 AM, Antonio Terceiro wrote:

> To optimize the storage requirements on ci.debian.net, I have just
> committed a change to how logs are stored¹. Basically, all logs will now
> be compressed with gzip, and therefore all *.log will be renamed to
> *.log.gz.

Does this mean the links to ci.debian.net logs in the PTS and
distro-tracker need updating?

-- 
bye,
pabs

https://wiki.debian.org/PaulWise