pull-request-workflow

name	Pull Request Workflow
description	Automates the process of creating a pull request using the custom issue_manager script, replacing the need for gh CLI.

Pull Request Workflow Skill

This skill allows you to create GitHub Pull Requests using the local scripts/issue_manager.py script, which directly interacts with the GitHub API. This is useful when the gh CLI is not available.

Prerequisites

• Python Environment: httpx and python-dotenv must be installed.
• Environment Variables: GITHUB_TOKEN must be set in .env.
• Script: scripts/issue_manager.py must contain the create-pr command.

Usage

Create a Pull Request

To create a Pull Request from a source branch (e.g., develop) to a target branch (e.g., main):

python scripts/issue_manager.py create-pr \
  --title "PR Title" \
  --body "Detailed description of the changes" \
  --head <source_branch> \
  --base <target_branch>

Example

python scripts/issue_manager.py create-pr \
  --title "CHORE: Refactor Specs" \
  --body "Consolidates specs and updates sync logic." \
  --head develop \
  --base main