From 46f7879cae6a986ca0f780811dc8414ae14d18d5 Mon Sep 17 00:00:00 2001
From: Toby Schneider <tsaubergine@users.noreply.github.com>
Date: Fri, 11 Oct 2024 13:28:04 -0700
Subject: [PATCH] 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 44fa97ca99b5d7d5d43219623a915830650d5059
PiperOrigin-RevId: 684938321
---
 docs/options.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/docs/options.md b/docs/options.md
index ee9775ac2d3bc..ddc80d733994a 100644
--- 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