Skip to content

Add DeveloperGuides as subtree#1941

Merged
tapios merged 7 commits into
mainfrom
ts/add-dev-guides
May 21, 2026
Merged

Add DeveloperGuides as subtree#1941
tapios merged 7 commits into
mainfrom
ts/add-dev-guides

Conversation

@tapios
Copy link
Copy Markdown
Member

@tapios tapios commented May 21, 2026

Purpose

  • Adds DeveloperGuides as subtrees
  • DeveloperGuides are updated monthly by automated PRs via a Github workflow
  • The only files needing review are the local AGENTS.md and the clima_coupler_specific.md file.

To-do

Content


  • I have read and checked the items on the review checklist.

tapios added 3 commits May 21, 2026 00:19
git-subtree-dir: docs/dev-guides
git-subtree-split: b8c205b7edba94997617711487ff2f999373c9b3
- Vendor CliMA/DeveloperGuides at docs/dev-guides/ via git subtree
- Add root AGENTS.md (shared guide index pointer + autonomy gate)
- Add docs/clima_coupler_specific.md (ClimaCoupler repo-specific guide)
- Add .github/workflows/update_dev_guides.yml (monthly sync workflow)
Comment thread docs/clima_coupler_specific.md Outdated
Comment thread docs/clima_coupler_specific.md Outdated
tapios and others added 2 commits May 21, 2026 14:28
Co-authored-by: Julia Sloan <51397186+juliasloan25@users.noreply.github.com>
Co-authored-by: Julia Sloan <51397186+juliasloan25@users.noreply.github.com>
@tapios tapios enabled auto-merge (squash) May 21, 2026 21:45
@tapios tapios merged commit edde229 into main May 21, 2026
14 checks passed
@tapios tapios deleted the ts/add-dev-guides branch May 21, 2026 23:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants