From 23eb634e9c4240a4edd6f2717f1745ded3a1c7ae Mon Sep 17 00:00:00 2001
From: Mikhail Goncharov <goncharov.mikhail@gmail.com>
Date: Mon, 9 Jan 2023 10:40:41 +0100
Subject: [PATCH] increase probability of gc on win

---
 scripts/windows/post-checkout.ps1 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/windows/post-checkout.ps1 b/scripts/windows/post-checkout.ps1
index 08a0967..3cc286e 100644
--- a/scripts/windows/post-checkout.ps1
+++ b/scripts/windows/post-checkout.ps1
@@ -13,7 +13,7 @@
 # limitations under the License.
 
 # As git gc takes non-trivial time on windows, run it only 5% of the time.
-if (( Get-Random -Maximum 100 ) -lt 5 ) {
+if (( Get-Random -Maximum 100 ) -lt 10 ) {
   echo "running git gc"
   pwd
   git gc