From Department of Health. Published on 30 July 2021. Last updated on 6 August 2021
https://www.gov.ie/en/service/035a8-how-to-get-your-eu-digital-covid-certificate/
1. How to change the details on your certificate or get a copy emailed to you
2. What you can do if you have not got a certificate yet
3. What to do before you travel