### Describe the feature or problem you’d like to solve A tool for checking if a pull request is merged. ### Proposed solution Implement new tool.