Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 9f5bb817ef4c3b25ca4f5d2547816f69378c9127)
+++ Jenkinsfile	(revision 240785344da1ba6366aa5cd10a10d2d7c06c1f10)
@@ -377,4 +377,6 @@
 		]])
 
+	load "${SrcDir}/tools/PrettyGitLogs.sh"
+
 	final settings = new BuildSettings(params, env.BRANCH_NAME)