Parcourir la source

Migrate git bridge menu to react

GitOrigin-RevId: cc54209dd88b6f730c3c8540a30d3d98d53b110f
M Fahru il y a 3 ans
Parent
commit
2b1e2be7ca
1 fichiers modifiés avec 1 ajouts et 0 suppressions
  1. 1 0
      services/web/frontend/extracted-translations.json

+ 1 - 0
services/web/frontend/extracted-translations.json

@@ -237,6 +237,7 @@
   "generic_linked_file_compile_error": "",
   "generic_something_went_wrong": "",
   "get_collaborative_benefits": "",
+  "git": "",
   "git_bridge_modal_description": "",
   "github_commit_message_placeholder": "",
   "github_credentials_expired": "",