From eb666f4d5a73e661a551fc7e5a959779b7ebbc95 Mon Sep 17 00:00:00 2001
From: leanprover-community-bot <leanprover.community@gmail.com>
Date: Mon, 27 Nov 2023 23:32:41 +0000
Subject: [PATCH] deploy site from 88b8450a8b0d65c240dcc9542282d2d6d371d0ee

---
 contribute/tags_and_branches.html | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/contribute/tags_and_branches.html b/contribute/tags_and_branches.html
index 8c59ae7266..44fbba2033 100644
--- a/contribute/tags_and_branches.html
+++ b/contribute/tags_and_branches.html
@@ -195,6 +195,8 @@ <h3 id="leanprover-communitymathlib4-aka-mathlib" class="markdown-heading"><code
 </li>
 </ul>
 </li>
+<li>The <code>nightly-testing-*</code> and <code>bump/v4*</code> branches are write protected,
+so may only be modified via PRs, maintainers, or the relevant bots.</li>
 <li>Note that the <code>nightly-testing</code> branch of Mathlib may use the <code>nightly-testing</code> branch of Std as required.</li>
 <li>Similarly a <code>bump/v4.X.0</code> branch of Mathlib may use the <code>bump/v4.X.0</code> branch of Std as required.</li>
 <li>Branches <code>lean-pr-testing-NNNN</code> are automatically created for any Lean PR that passes CI,