Add push option for skipping integration push event

For a project configured with a CI integration, such as Jenkins, a user may want the same ability to skip starting a pipeline that the ci.skip push option provides on gitlab pipelines.

We should consider adding a push option that could prevent sending push events for integrations.

For context: #403065 (comment 1402781528)