> I will check the Jenkins Config of this Job, maybe it is missing the extra > GIT checkout option ("git reset").
git reset actually only resets the tracked files that differ from the head. What you're looking for is two things: # resets any staged changes (not that there should be any on jenkins, but for local repos there may be) git reset --hard # clean ANY files not tracked in the repo -- this effectively restores pristine state. git clean -xfd . Dawid --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@lucene.apache.org For additional commands, e-mail: dev-h...@lucene.apache.org