From ffc0897a3028a6740572b6f3d18955e59cbf605c Mon Sep 17 00:00:00 2001
From: Benjamin Morel <benjamin.morel@gmail.com>
Date: Fri, 19 Jan 2024 18:58:38 +0100
Subject: [PATCH] Automatically push in updateRanges.php

---
 updateRanges.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/updateRanges.php b/updateRanges.php
index dc5dbba..3490049 100644
--- a/updateRanges.php
+++ b/updateRanges.php
@@ -153,4 +153,5 @@
 
 if ($status === 0) {
     system('git commit -a -m ' . escapeshellarg($commitMessage));
+    system('git push');
 }