From b5a2e83c8c00f3dbbc6496ec89add6ba3102b3eb Mon Sep 17 00:00:00 2001
From: Mike Kruskal <mkruskal@google.com>
Date: Thu, 19 Jan 2023 16:11:41 -0800
Subject: [PATCH] Add a script for updating subtrees

---
 third_party/update_subtrees.sh | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100755 third_party/update_subtrees.sh

diff --git a/third_party/update_subtrees.sh b/third_party/update_subtrees.sh
new file mode 100755
index 0000000000..225de5fcd9
--- /dev/null
+++ b/third_party/update_subtrees.sh
@@ -0,0 +1,8 @@
+#! /bin/bash -eux
+
+set -eux
+
+cd $(dirname $0)/..
+
+git subtree pull --prefix third_party/utf8_range \
+  https://github.com/protocolbuffers/utf8_range.git main --squash