I am using gitea with Jenkins. The webhooks are working fine.
But I am missing an option to ignore triggers when a PR is marked as WIP.
Pull_request triggers contain information about the PR title which can be used in the general webhook trigger plugin instead of the gitea plugin for jenkins, but push events do not have this information. Is it possible to ignore triggers when pushing to a branch with an existing PR?