action GITHUB PR

• Github Check if Pull Request is merged: Check if a Github Pull Request is merged

• Github Close Pull Request: Close pull request based on pull request number

• Github Get Pull Request: Get Github Pull Request for a user in a repository

• Github List PR Commits: Github List all Pull Request Commits

• Github List Pull Request Reviewers: List PR reviewers for a PR

• Github List Pull Requests: List pull requests for a user in a repository

• Github List Stale Pull Requests: Check for any Pull requests over a certain age.

• Github Merge Pull Request: Github Merge Pull Request