Redirecting to Public holidays in the Republic of Ireland