ga-IE translation; pl to live (#1218)

* ga-IE translation
* Emma says Polish can go live

Author: microbit-matt-hillsdon

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

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:
 

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": {