pub const LOGFILE_MAX_LEN: usize = 5000;
Maximum size of a logfile we’ll add to the issue body
The maximum size of a GitHub issue body is 65536