DART Contribution Workflow
SkillDev toolsDART Contribute: branching, PRs, review workflow, and dual-PR bugfixes
Available today. Use it from your connected AI after setup.
No other account needed.
Connect ahel once, and every AI you use reads what you have installed.
Then ask your AI: use the DART Contribution Workflow skill
What this skill tells your AI
The instructions your AI receives, as published by dartsim/dart in .agents/skills/dart-contribute/SKILL.md and read by ahel’s review.
Load this skill when contributing code to DART.
Full Documentation
For complete guide: docs/onboarding/contributing.md
For code style: docs/onboarding/code-style.md
For automated review handling: docs/onboarding/ai-reviews.md
Branch Naming
feature/<topic>- New featuresfix/<topic>- Bug fixesrefactor/<topic>- Refactoringdocs/<topic>- Documentation
Features, docs, and non-bugfix refactors branch from origin/main. Bug fixes
that apply to the current release line branch from the active DART 6 LTS
origin/release-6.* branch first and then reach main as a second PR (the
dual-PR rule in docs/onboarding/contributing.md).
PR Path
Run pixi run lint before committing and the task-type gate set from
docs/ai/verification.md; use dart-pr to commit, push, and open the PR after
explicit maintainer/user approval, and dart-changelog to decide the
CHANGELOG.md entry per docs/onboarding/changelog.md. Use plain descriptive
commit messages and PR titles without agent tags. Update published PR branches
with additive commits after merging the target branch; never rebase or
force-push a published PR branch unless the maintainer explicitly asks.
Milestones (Required)
| Target Branch | Milestone |
|---|---|
main | DART 7.0 (or next major) |
Active DART 6 LTS release-6.* branch | Branch-matching DART 6.x patch |
# After explicit maintainer/user approval, set milestone on an existing PR
gh pr edit <PR#> --milestone "DART 7.0"
# List available milestones
gh api repos/dartsim/dart/milestones --jq '.[] | .title'
Signals
- GitHub stars
- 1k
- Forks
- 304
- Last commit
- Sep 2026
Advanced
- Catalog kind
- skill
- Gateway key
dart-contribute- Source
- github.com/dartsim/dart