[tei-council] Build failed in Jenkins: TEIP5-Documentation-release-3.1.0 #13

http://teijenkins.hcmc.uvic.ca/job/TEIP5-Documentation-release-3.1.0/13/------------------------------------------
Started by upstream project "TEIP5-Test-release-3.1.0" build number 17
originally caused by:
 Started by upstream project "Stylesheets-release-7.42.0" build number 6
 originally caused by:
  Started by user Martin Holmes
Building in workspace 
 > git rev-parse --is-inside-work-tree # timeout=10
Fetching changes from the remote Git repository
 > git config remote.origin.url https://github.com/TEIC/TEI.git # timeout=10
Fetching upstream changes from https://github.com/TEIC/TEI.git
 > git --version # timeout=10
 > git fetch --tags --progress https://github.com/TEIC/TEI.git +refs/heads/*:refs/remotes/origin/*
 > git rev-parse refs/remotes/origin/release-3.1.0^{commit} # timeout=10
 > git rev-parse refs/remotes/origin/origin/release-3.1.0^{commit} # timeout=10
Checking out Revision c607e0a99a82f37c6901d9e48eb6e2555989fe03 (refs/remotes/origin/release-3.1.0)
 > git config core.sparsecheckout # timeout=10
 > git checkout -f c607e0a99a82f37c6901d9e48eb6e2555989fe03
First time build. Skipping changelog.
[workspace] $ /bin/bash -xe /tmp/hudson2036221137608642322.sh
+ git pull
You are not currently on a branch. Please specify which
branch you want to merge with. See git-pull(1) for details.

    git pull  

Build step 'Execute shell' marked build as failure