domains / families / devops / commit-push-pr

commit-push-pr

separate

Commit changes, push to remote, and create a pull request. Use for completing features or fixes ready for review.

When to use

Skill page

Source

RepositoryPath
brycewang-stanford/Auto-Empirical-Research-Skillsskills/09-meleantonio-awesome-econ-ai-stuff/_skills/engineering/commit-push-pr/SKILL.md