2023 would count as his redshirt. 2020 didn't count at all. So he's got 2021, 2022, 2024. He will have one year left and will have just turned 24. Thankfully he's not one of those guys that got held back. Highly doubt they'd grant him a medical redshirt when he's already getting a 6th year. He don't want it anyway, guarantee you he wants to pitch one year and get drafted as soon as possible.
Basically the same way Spencer Price got 2021, when he started in 2016. 2018 was his redshirt year and again, 2020 didn't count.