From 16679aa5acc334798cbb0880070d81ed8e1bd7a7 Mon Sep 17 00:00:00 2001
From: downtownallday <downtownallday@gmail.com>
Date: Fri, 14 Oct 2022 14:18:34 -0400
Subject: [PATCH] preloaded: add support for clone at commit

---
 tests/vagrant/preloaded/Vagrantfile | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/tests/vagrant/preloaded/Vagrantfile b/tests/vagrant/preloaded/Vagrantfile
index 24dc6e64..453bf80e 100644
--- a/tests/vagrant/preloaded/Vagrantfile
+++ b/tests/vagrant/preloaded/Vagrantfile
@@ -14,7 +14,12 @@ def checkout_tag_and_mount(obj, tag)
     _srcdir="src/maibldap-#{tag}"
     if not Dir.exist?(_srcdir)
       puts "Cloning tag #{tag} to #{_srcdir}"
-      system("git clone -b #{tag} --depth 1 #{ENV['MIABLDAP_GIT']} #{_srcdir}")
+      if tag.size==40 and tag.match?(/\A[0-9a-fA-F]+\Z/)
+        system("git clone #{ENV['MIABLDAP_GIT']} #{_srcdir}")
+        system("cd #{_srcdir}; git reset --hard #{tag}")
+      else
+        system("git clone -b #{tag} --depth 1 #{ENV['MIABLDAP_GIT']} #{_srcdir}")
+      end
     end
     obj.vm.synced_folder _srcdir, "/mailinabox", id: "mailinabox", automount: false
   end