Push changes to remote and create/update pull requests
Push local changes to the remote repository and manage pull requests.
Create a feature branch from main:
git checkout -b <issue-identifier>-<short-description> origin/main
Example: git checkout -b 42-add-badge-progress origin/main
Push to remote:
git push -u origin <branch-name>
After pushing, create a PR using the GitHub CLI:
gh pr create \
--title "<type>(<scope>): <description>" \
--body "## Summary
<describe what this PR does>
## Changes
- <list of changes>
## Testing
- [ ] `npm run build` passes
- [ ] Manual testing completed
Closes #<issue-number>" \
--label "symphony" \
--base main
symphony label to PRs created by SymphonyCloses #<number> in bodyIf a PR already exists for the branch:
git push # Updates the existing PR
Add a comment with what changed:
gh pr comment <pr-number> --body "Updated: <description of changes>"