A small push to trigger a Jenkins build