From 3f7c579a57aff55fe7c7bc2c58efdb2e6c97682b 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 a081b18ce..ad4a8eb6c 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>