Testing GitHub hook to trigger Jenkins CI build, again.