Any and all background agents acting on behalf of me (afisch710) must adhere to the following developer workflow, with the associated shell commands.
The below commands are available to you as an agent for fetching GitHub issue information.
gh issue view <issue_number>- View detailed information about a specific issuegh issue view <issue_number> --comments- View issue with all commentsgh issue view <issue_number> --json- View issue data in JSON formatgh issue list- List all issues in the repositorygh issue list --state open- List only open issuesgh issue list --state closed- List only closed issuesgh issue list --assignee @me- List issues assigned to you
# View issue #123
gh issue view 123
# View issue #123 with comments
gh issue view 123 --comments
# View issue #123 as JSON for parsing
gh issue view 123 --json title,body,state,labels,assigneesImportant: Some gh commands may have formatting/pager issues in cursor terminal environments. Use these reliable alternatives:
-
Finding Issues: Use
gh issue list | grep <number>instead ofgh issue view <number># Instead of: gh issue view 123 # Use: gh issue list | grep 123
-
Bypass Pager Issues: Add
| catto commands that hang or show formatting errors# If gh issue view 123 fails, try: gh issue view 123 | cat # If gh pr view 123 --json fails, try: gh pr view 123 --json | cat
-
Use JSON Output: For structured data, prefer JSON format
gh issue view 123 --json title,body,state,labels | cat -
Issue List Commands: These work reliably without modification
gh issue list gh issue list --state open gh issue list | head -20
gh issue view <number>(without| cat)gh pr view <number> --json(without| cat)
These commands may show "head: |: No such file or directory" errors due to pager conflicts.
The below commands are available to you as an agent for creating git branches and creating GitHub pull requests.
gci <issue_number>- Creates a topic branch with repo naming standards for the specified issue. Note this command is defined at.github/scripts/shell/functions/gci.shand you may use setup.sh (.github/scripts/shell/setup.sh) to configure the function
Any and all branches created by an agent must leverage the gci command for a specific issue number. No branch creations are permitted that do not use this mechanism.
The below commands are available to you as an agent for creating GitHub pull requests to resolve an issue.
gp- Creates a pull request for a committed change on an issue topic branch and opens a browser to the pull request with auto merge enabled. Defined here.github/scripts/shell/functions/gp.sh. NOTE agents must be given explicit permission by @afisch710 to use this command.gpa- Creates a pull request for a committed change on an issue topic branch. Defined here.github/scripts/shell/functions/gpa.sh. All agents must default to this command for creating pull requests unless explicitly instructed otherwise.
The below workflow is to be used by all agents when making a code change to resolve an issue. This must be followed unless @afisch710 explicitly instructs otherwise.
- Review the issue provided by @afisch710
gh issue view <issue_number>
- Ask any clarifying questions to @afisch710 before beginning development on a resolving change
- Create a topic branch to work on the issue
gci <issue_number>
- Perform code changes to resolve the issue.
- Stage the changes you have made
git add <file_1>
git add <file_2>
git add <file_n>
- Commit the staged changes you have made. Use your best judgement when creating a descriptive commit message for the changes you have made.
git commit -m <descriptive_message>
- Create a pull request for the change that targets the
developmentbranch (default repo branch and main equivalent) DEFAULT PR CREATION MECHANISM
gpa
Alternate PR creation mechanism granted @afisch710 has explicitly instructed use of this
gp
- Provide @afisch710 with a URL to the newly created pull request
These instructions are required and not to be adapted by any agent unless @afisch710 has explicilty instructed otherwise.