From 92df52d37d6b5ba42b9023bded67f733c1ab53d9 Mon Sep 17 00:00:00 2001
From: Anas Elgarhy <anas.elgarhy.dev@gmail.com>
Date: Fri, 22 Sep 2023 07:58:08 +0300
Subject: [PATCH] chore(rustrover): update the workspace settinges

---
 .idea/workspace.xml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index e678f53..0bad471 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -37,6 +37,13 @@
   <component name="Git.Settings">
     <option name="RECENT_GIT_ROOT_PATH" value="$PROJECT_DIR$" />
   </component>
+  <component name="GithubProjectSettings">
+    <option name="branchProtectionPatterns">
+      <list>
+        <option value="aurora" />
+      </list>
+    </option>
+  </component>
   <component name="MacroExpansionManager">
     <option name="directoryName" value="o1x74u2h" />
   </component>
@@ -190,7 +197,7 @@
       <option name="number" value="Default" />
       <option name="presentableId" value="Default" />
       <updated>1695257329562</updated>
-      <workItem from="1695257332107" duration="50184000" />
+      <workItem from="1695257332107" duration="52130000" />
     </task>
     <servers />
   </component>