diff --git a/Jenkinsfile b/Jenkinsfile
index 0f25dd8..9e49110 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -683,6 +683,11 @@ pipeline {
 			}
 		    }
 		}
+		// Temporary stop here so that we can have an index to
+		// examine for data issues before going with "full"
+		// snapshot. 2024-07-15.
+		echo 'Only master can touch that target.'
+		sh '`exit -1`'
 	    }
 	}