On Tue, Mar 22, 2022 at 01:11:22PM +0100, Erik Skultety wrote: > Since GitLab sets a proper MIME for .txt and .log file extensions, > rename all Avocado log files without an extension to *.log . This pairs > nicely with the coredumpctl info file which we already name as > 'coredumpctl.txt' because of this.
Just a nit that you should feel free to ignore, especially seeing how you've already pushed this patch, but isn't what you've written above an argument for either using .txt here or using .log for the coredumpctl case too? -- Andrea Bolognani / Red Hat / Virtualization
