This action can be used to try to match the current commit of the running
workflow to a closed (merged) pull request. This can be useful for workflows
where you need information about the pull request that was just merged but can't
use the pull_request event due to the limitations around the event.
| Name | Required | Default | Description |
|---|---|---|---|
token |
no | ${{ github.token }} |
GitHub token to use for API requests. |
page-limit |
no | 1 |
The maximum number of pages to search for a matching pull request. |
| Name | Description |
|---|---|
number |
The number of the pull request that was merged. |
title |
The title of the pull request that was merged. |
body |
The body of the pull request that was merged. |
labels |
The labels of the pull request that was merged, separated by commas. |
labels-json |
The labels of the pull request that was merged, in JSON format. |
user |
The user that opened the pull request that was merged. |
assignees |
The assignees of the pull request that was merged, separated by commas. |
assignees-json |
The assignees of the pull request that was merged, in JSON format. |
milestone |
The milestone of the pull request that was merged. |
merged_by |
The user that merged the pull request that was merged. |
- name: Get merged pull request
id: merged
uses: benlei/find-merged-pull-request@v1
with:
token: ${{ secrets.GITHUB_TOKEN }}
- name: Send a message if the merged pull request contains a 'fix' label
if: ${{ contains(fromJSON(steps.merged.outputs.labels-json), 'fix') }}
run: echo "The merged pull request contains a 'fix' label."
Find Merged Pull Request is not certified by GitHub. It is provided by a third-party and is governed by separate terms of service, privacy policy, and support documentation.
About
v1
LatestBy benlei
Tags
(1)Find Merged Pull Request is not certified by GitHub. It is provided by a third-party and is governed by separate terms of service, privacy policy, and support documentation.