Details
-
Suggestion
-
Resolution: Unresolved
-
None
Description
Problem Definition
When triggering a pipeline manually (from the Pipelines page of a repo > Run pipeline) there is no option to run a pull-requests pipeline for a certain PR. Pipelines can be triggered only for a specific branch.
Some users who have pull-requests pipelines may use the [skip ci] option on commits and they want to be able to run a pull-requests pipeline manually for a certain PR.
Running a pull-requests pipeline for a branch does not have the same behavior as running it for a PR (where the PR branches are merged during the build and the PR default variables are available).
Suggested Solution
Provide users the option to select a certain PR when triggering a pull-requests pipeline manually from the UI.
Workaround
There are two workarounds at the moment:
1. Trigger a pull-requests pipeline via API:
This will work even if the last commit of the source branch has [skip ci] in its message.
2. In a clone of the repo, create an empty commit on the source branch without the [skip ci] option:
git commit --allow-empty -m "Empty commit to trigger the pull-requests pipeline"
When that empty commit is pushed to the source branch, the pull-requests pipeline will be triggered.