Publish Korean translation (#428)

* Publish Korean translation

* 한국어 -> 한국어 (Korean)

* Add translator names for the Korean translation

.github/workflows/publish.yml

@@ -19,7 +19,7 @@ concurrency:
 env:
   CARGO_TERM_COLOR: always
   # Update the language picker in index.hbs to link new languages.
-  LANGUAGES: da pt-BR
+  LANGUAGES: da pt-BR ko
 
 jobs:
   publish:

src/running-the-course/translations.md

@@ -4,6 +4,7 @@ The course has been translated into other languages by a set of wonderful
 volunteers:
 
 * [Brazilian Portuguese][pt-BR] by [@rastringer] and [@hugojacob].
+* [Korean][ko] by [@keispace], [@jiyongp] and [@jooyunghan].
 
 Use the language picker in the top-right corner to switch between languages.
 
@@ -11,7 +12,11 @@ If you want to help with this effort, please see [our instructions] for how to
 get going. Translations are coordinated on the [issue tracker].
 
 [pt-BR]: https://google.github.io/comprehensive-rust/pt-BR/
+[ko]: https://google.github.io/comprehensive-rust/ko/
 [@rastringer]: https://github.com/rastringer
 [@hugojacob]: https://github.com/hugojacob
+[@keispace]: https://github.com/keispace
+[@jiyongp]: https://github.com/jiyongp
+[@jooyunghan]: https://github.com/jooyunghan
 [our instructions]: https://github.com/google/comprehensive-rust/blob/main/TRANSLATIONS.md
 [issue tracker]: https://github.com/google/comprehensive-rust/issues/282

theme/index.hbs

@@ -160,6 +160,9 @@
                           <li role="none"><button role="menuitem" class="theme">
                               <a id="pt-BR">Brazilian Portuguese</a>
                           </button></li>
+                          <li role="none"><button role="menuitem" class="theme">
+                              <a id="ko">한국어 (Korean)</a>
+                          </button></li>
                         </ul>
 
                         <script>