Referee Brendan Devlin's matches in the 2023 Irish Open (Group 7)