Add a script for updating subtrees

pull/11608/head
Mike Kruskal 2 years ago
parent 4dd7ebbba1
commit b5a2e83c8c
  1. 8
      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
Loading…
Cancel
Save