Fixes #3: Add comment to Jenkins build after shipping