GitHub Tools
Github Check If Pull Request Merged
通过 Aident Loadout 使用 GitHub Tools 的 Github Check If Pull Request Merged。执行前查看输入、输出、设置、价格和风险。
写入操作风险等级 2/5OAuth 连接
服务提供商说明
Checks if a pull request has been merged by querying the GitHub API. Use this action when you need to verify whether a specific pull request has been successfully merged into its target branch. The API returns a 204 status for merged PRs and 404 for unmerged PRs.