revert jenkins settings