microbit-foundation · microbit-matt-hillsdon · Jun 10, 2025 · Jun 9, 2025 · Jun 10, 2025
diff --git a/bin/update-translations.sh b/bin/update-translations.sh
@@ -15,7 +15,7 @@ if [ $# -eq 0 ]; then
   exit 1
 fi
 
-languages="ca de fr es-ES ja ko nl pl zh-CN zh-TW lol"
+languages="ca de es-ES fr ga-IE ja ko nl pl zh-CN zh-TW lol"
 
 mkdir -p crowdin/translated
 for language in $languages; do

diff --git a/docs/tech-overview.md b/docs/tech-overview.md
@@ -143,7 +143,7 @@ For the editor itself, run `npm run i18n:convert` to create `crowdin/ui.en.json`
 
 This process assumes the language is already in Crowdin and has at least some translations.
 
-When considering a new language it's worth checking early whether support is available in [lunr-languages](https://github.com/MihaiValentin/lunr-languages) as we need that support for our client-side search. Search is not currently supported for zh-CN and zh-TW due to the technical challenge of indexing those languages in the browser.
+When considering a new language it's worth checking early whether support is available in [lunr-languages](https://github.com/MihaiValentin/lunr-languages) as we need that support for our client-side search. Search is not currently supported for zh-CN and zh-TW due to the technical challenge of indexing those languages in the browser. ga-IE also lacks support in lunr-languages.
 
 Steps:
 

diff --git a/lang/ui.es-es.json b/lang/ui.es-es.json
@@ -1127,7 +1127,7 @@
     "description": "Change made to file"
   },
   "user-guide": {
-    "defaultMessage": "Guía del usuario",
+    "defaultMessage": "Guía de usuario",
     "description": "Menu item for link to user guide site"
   },
   "visit-dot-org": {
-Original file line number
+Diff line change
@@ Expand Up @@
     This process assumes the language is already in Crowdin and has at least some translations.
-    When considering a new language it's worth checking early whether support is available in [lunr-languages](https://github.com/MihaiValentin/lunr-languages) as we need that support for our client-side search. Search is not currently supported for zh-CN and zh-TW due to the technical challenge of indexing those languages in the browser.
+    When considering a new language it's worth checking early whether support is available in [lunr-languages](https://github.com/MihaiValentin/lunr-languages) as we need that support for our client-side search. Search is not currently supported for zh-CN and zh-TW due to the technical challenge of indexing those languages in the browser. ga-IE also lacks support in lunr-languages.
     Steps:
@@ Expand Down @@