diff --git a/zorg/buildbot/builders/sanitizers/buildbot_functions.sh b/zorg/buildbot/builders/sanitizers/buildbot_functions.sh
--- a/zorg/buildbot/builders/sanitizers/buildbot_functions.sh
+++ b/zorg/buildbot/builders/sanitizers/buildbot_functions.sh
@@ -73,7 +73,7 @@
       if [[  "$REV" != "origin/main" ]] ; then
         # "git fetch --depth 1 origin $REV" does not work with 2.11 on bots
         while true ; do
-          git checkout $REV && break
+          git checkout -f $REV && break
           git rev-list --pretty --max-count=1 origin/main
           git rev-list --pretty --max-parents=0 origin/main
           echo "DEPTH=$DEPTH is too small"