Create Pull Request Skill
To satisfy the user's request to create a pull request on a GitHub repository, follow these steps:
- •Create a new branch for the changes (if not already done).
- •Commit the changes to the new branch.
- •Push the branch to the remote repository.
- •Use the
ghCLI to create a pull request. The target branch ismasterunless specified otherwise.
Then inform the user that the pull request has been created successfully, providing the URL to the pull request.
Merging the Pull Request
After the user reviews the pull request and requests to merge it, you can use the gh CLI to merge the pull request. Confirm with the user before merging.