> 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

Reply via email to