Update ubuntu.pipeline
diff --git a/jenkins/github/ubuntu.pipeline b/jenkins/github/ubuntu.pipeline
index 2646513..1b806d4 100644
--- a/jenkins/github/ubuntu.pipeline
+++ b/jenkins/github/ubuntu.pipeline
@@ -44,9 +44,6 @@
             steps {
                 echo 'Starting build'
                 dir('src') {
-                    // For Jenkins debugging. We comit the top of README in our debug PRs.
-                    sh('head README')
-
                     sh '''#!/bin/bash
                         
                         set -x