Revert "courtesy commit for jenkins"

This reverts commit 0ada9ef1b9bedc5fbedb425199c240d41b92556d.