Update options.md for JaiaRobotics global option extension (#17399)

I am requesting a global extension for the JaiaBot project (https://github.com/jaiarobotics/jaiabot). Closes #17399 COPYBARA_INTEGRATE_REVIEW=#17399 from tsaubergine:patch-1 44fa97c PiperOrigin-RevId: 684938321
protocolbuffers · Oct 11, 2024 · 46f7879 · 46f7879
1 parent a673d33
commit 46f7879
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/docs/options.md b/docs/options.md
@@ -526,3 +526,8 @@ with info about your project (name and website) so we can add an entry for you.
 
     *   Website: https://github.com/MarnixBouhuis/confpb
     *   Extensions: 1250-1251
+
+1.  JaiaBot
+
+    *   Website: https://github.com/jaiarobotics/jaiabot
+    *   Extensions: 1252