From bfe969f512bd6bfc9d35d69f6b329cb21d6fe49b Mon Sep 17 00:00:00 2001
From: Sebastiano Poggi <sebp@google.com>
Date: Fri, 20 Oct 2023 13:05:58 +0200
Subject: [PATCH] Ignore GitHub branch protection rules in IDE

They disable force push even when you're allowed to use it,
and disable VCS features that relate to that. Until this is
fixed in IntelliJ, we'll keep it off.
---
 .idea/vcs.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.idea/vcs.xml b/.idea/vcs.xml
index a081b18ce7..ad4a8eb6c9 100644
--- a/.idea/vcs.xml
+++ b/.idea/vcs.xml
@@ -7,6 +7,9 @@
       <inspection_tool class="SubjectLimit" enabled="true" level="WARNING" enabled_by_default="true" />
     </profile>
   </component>
+  <component name="GitSharedSettings">
+    <option name="synchronizeBranchProtectionRules" value="false" />
+  </component>
   <component name="VcsDirectoryMappings">
     <mapping directory="" vcs="Git" />
   </component>