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=https://github.com/protocolbuffers/protobuf/pull/17399 from tsaubergine:patch-1 44fa97ca99 PiperOrigin-RevId: 684938321
6 months ago · 46f7879cae
parent a673d33949
commit 46f7879cae
1 changed files with 5 additions and 0 deletions
--- 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