一键导入
pr
Create a pull request for EmbodiChain following the project's PR template and conventions, including selecting proper GitHub repository labels
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
菜单
Create a pull request for EmbodiChain following the project's PR template and conventions, including selecting proper GitHub repository labels
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Use when writing tests for EmbodiChain modules, including observation functors, reward functors, solvers, sensors, environments, or any Python module
Use when adding a new simulation atomic action or motion primitive to EmbodiChain's AtomicActionEngine.
Use when a request asks to reference, refresh, write, or register project development context so the agent resolves the topic through agent_context/MAP.yaml and reads or updates the mapped Markdown context files.
Use when adding a new robot to EmbodiChain — scaffolds a RobotCfg subclass (single-file or package layout) with the _build_defaults hook, build_pk_serial_chain, registration, docs page, and test stub.
Claude adapter for the canonical EmbodiChain add-robot skill.
Claude adapter for the canonical EmbodiChain release skill.
| name | pr |
| description | Create a pull request for EmbodiChain following the project's PR template and conventions, including selecting proper GitHub repository labels |
This skill guides you through creating a pull request that follows the EmbodiChain project's PR template and contribution guidelines.
Invoke this skill when:
First, check the current git status and changes:
git status
git diff HEAD
Based on the changes made, select one of these PR types:
Write a description that includes:
Before creating the PR, ensure code is formatted:
black .
If formatting changes were made, commit them first:
git add -A
git commit -m "Format code with black"
If not already on a feature branch:
git checkout -b <branch-name>
Recommended branch naming:
fix/<description> - for bug fixesfeat/<description> - for new featuresenhance/<description> - for enhancementsdocs/<description> - for documentation changesCommit with a clear message following conventional commits format:
git commit -m "type(scope): brief description
Detailed description of the change."
git push -u origin <branch-name>
Use the gh CLI with the proper PR template:
gh pr create --title "<PR Title>" --body "<PR Body>"
After creating the PR, select proper labels from the repository label list and apply them.
First, list available labels:
gh label list
Then choose labels based on change type and scope. Typical mapping:
bugenhancementfeaturedocsphysics, robot, agent, dataset, dexsimApply labels to the PR:
gh pr edit <pr-number> --add-label "bug" --add-label "env"
If needed, remove incorrect labels:
gh pr edit <pr-number> --remove-label "<label-name>"
Use this template for the PR body:
## Description
<!-- Clear summary of the change -->
This PR [briefly describe what the PR does].
<!-- Include motivation and context if needed -->
[Add any relevant motivation and context here].
<!-- List dependencies if applicable -->
Dependencies: [list any dependencies required]
<!-- Reference the issue -->
Fixes #<issue-number>
## Type of change
<!-- Select one and delete the others -->
- [x] Bug fix (non-breaking change which fixes an issue)
- [ ] Enhancement (non-breaking change which improves an existing functionality)
- [ ] New feature (non-breaking change which adds functionality)
- [ ] Breaking change (existing functionality will not work without user modification)
- [ ] Documentation update
## Screenshots
<!-- Attach before/after screenshots if applicable -->
## Checklist
- [x] I have run the `black .` command to format the code base.
- [ ] I have made corresponding changes to the documentation
- [ ] I have added tests that prove my fix is effective or that my feature works
- [ ] Dependencies have been updated, if applicable.
| Command | Purpose |
|---|---|
git status | Check current state |
git diff HEAD | Show changes |
black . | Format code |
git checkout -b branch-name | Create branch |
git push -u origin branch | Push to remote |
gh pr create | Create PR |
gh label list | List repository labels |
gh pr edit <pr-number> --add-label ... | Apply labels to PR |