Check if a pull request is merged
One step with Gitea. We can help you get access.
Look something up
Check if a pull request is merged
with Gitea · Software Construction Management
Use Gitea: its Gitea Repository API lets you check if a pull request is merged in a single step (GET /repos/{owner}/{repo}/pulls/{index}/merge). capabilities.work can help you get signed up and connected.
- Has a particular pull request been merged yet?
- Can I quickly confirm a PR's merge status?
Say it to your AI assistant
- Check whether PR {index} in {owner}/{repo} has been merged.
- Confirm the merge status of pull request {index} in {owner}/{repo}.
For your developer
GET /repos/{owner}/{repo}/pulls/{index}/merge in Gitea Repository API. Full spec on APIs.io.