/// <summary>
/// The app will request a file with the following format.
/// </summary>
/// <returns>"[date]_[batchnumber]_[no/all].zip", e.g. "2020-08-13_1_no.zip"</returns>
public string ToBatchFileRequest()
{
return($"{Date.ToString("yyyy-MM-dd", CultureInfo.InvariantCulture)}" +
$"_{BatchNumber}" +
$"_{BatchType.ToTypeString()}" +
$".zip");
}
