From 05662157402f3ac3aa88e8dfbd047e9452691f47 Mon Sep 17 00:00:00 2001
From: David Tolnay <dtolnay@gmail.com>
Date: Sun, 24 Apr 2022 18:48:46 -0700
Subject: [PATCH] Update update-revs.sh to create clippy and miri branches

---
 scripts/update-revs.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/scripts/update-revs.sh b/scripts/update-revs.sh
index adbc70a..8243e1d 100755
--- a/scripts/update-revs.sh
+++ b/scripts/update-revs.sh
@@ -19,4 +19,14 @@ for rev in 1.{0..70}.0 stable beta nightly; do
     git checkout --quiet -b $rev
 done
 
+for tool in clippy miri; do
+    echo "Updating $tool branch"
+    git checkout --quiet --detach nightly
+    git branch --quiet --delete --force $tool &>/dev/null || true
+    sed -i "/required: false/{N;s/\n$/\n    default: $tool\n/}" action.yml
+    git add action.yml
+    git commit --quiet --message "components: $tool"
+    git checkout --quiet -b $tool
+done
+
 git checkout --quiet "$base"