Revert "Auto pull with Jenkins has proven to be not so trivial as a I thought. Need additional tuning/experimenting."

This reverts commit 1cec1839737d2475e505e61e16a74125e914ce06.