From 629b0fa23b1342f121765c9c3b08c46a85ea0b70 Mon Sep 17 00:00:00 2001
From: Emily Bourne <emily.bourne@epfl.ch>
Date: Tue, 14 Jan 2025 16:35:07 +0100
Subject: [PATCH] Fix public_mirror by quoting git log command

---
 bin/public_mirror | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/public_mirror b/bin/public_mirror
index a89adbbf..e76c5d09 100755
--- a/bin/public_mirror
+++ b/bin/public_mirror
@@ -51,7 +51,7 @@ do
 done <<< ${last_message_public}
 git checkout ${current_SHA}
 
-last_match=$(eval ${git_log_options})
+last_match=$(eval "${git_log_options}")
 echo ${last_match}
 
 commits_to_choose=$(git rev-list ${last_match}..HEAD --reverse)