SECURITY REVIEW
Not yet assessed
Review the original instructions and requested permissions before installing.
No security review is available for this catalog entry yet.
Github · Devops / AGENT SKILL
pr
0
Push the dev branch and create a GitHub PR to master with commit-based text.
Push dev branch and create a GitHub PR to master (auto-generates title/body from commits)
Understand the trade-offs.
SKILL QUALITY
Not yet assessed
How clearly the skill guides your agent, how complete its workflow is, and how you can check the outcome.
No quality assessment is available for this catalog entry yet.
The full skill.
Original instructions from the publisher’s SKILL.md
# Create Pull Request ## Current state !`git branch --show-current` !`git status --short` !`git log master..HEAD --oneline 2>/dev/null` ## Instructions 1. Verify we are on the `dev` branch. If not, abort with an error. 2. If there are uncommitted changes, commit them with an appropriate message first. 3. Push the dev branch: `git push -u origin dev` 4. Check if a PR already exists for dev → master: ```bash gh pr list --head dev --base master --state open --json number,title,url ``` - If a PR exists, show its URL and stop (don't create a duplicate). 5. Auto-generate the PR title and body from commit history: - Title: A concise summary of the changes (under 70 characters). - Body: Summary bullet points derived from `git log master..dev --oneline`. 6. Create the PR: ```bash gh pr create --base master --head dev --title "THE TITLE" --body "THE BODY" ``` 7. Show the PR URL when done.