add something to confirm location in tree; work on #289

geneontology · Jun 8, 2022 · 98ba686 · 98ba686
1 parent 4917f39
commit 98ba686
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -312,6 +312,7 @@ pipeline {
 			// state--origin master at head.
 			sh 'git reset --hard origin/master'
 			sh 'git pull origin master'
+			sh 'git log | head -15'
 
 			// 1) Flush models again to make clean commits
 			// later.