In any other sport, they're free to choose between the GB or Ireland teams. (NI rowers and cyclists this year for GB, NI boxers, athletes, triathletes and rowers for Ireland....)
The team in the olympics is representing Ireland, as is the football team called the Republic of Ireland. Don't forget that the official name of the country is Ireland, and the "Republic" bit is only used in football.