Promoting Dev To Main

Promoting Dev To Main is a DevOps skill for Claude Code, published by Human-Agent-Society in CORAL.

913 stars119 forkson Human-Agent-Society/CORALAdded 2026/08/22+2% in starsRepository updated 2026/08/21

agent-frameworkagent-orchestrationagentic-aiai-agentsalpha-evolveautonomous-agentsautoresearchclaude-codecode-generationcodexcoding-agentevolutionary-algorithmlarge-language-modelsllm-agentsmulti-agentopen-sourceopencodescientific-discoveryself-evolvingself-evolving-agents

Install in seconds

Install Promoting Dev To Main

Copy Promoting Dev To Main into your Claude Code skills folder. Run the command in your terminal, or review the source on GitHub before installing.

terminal

npx degit https://github.com/Human-Agent-Society/CORAL/tree/main/.claude/skills/promoting-dev-to-main ~/.claude/skills/promoting-dev-to-main

Requires Node.js. Downloads this skill only — not the rest of the repository — into your Claude Code skills folder.

Without Node.js

git clone https://github.com/Human-Agent-Society/CORAL.git

Clones the whole repository, then copy the skill’s own directory into your skills folder yourself.

In this catalog

Source file: .claude/skills/promoting-dev-to-main/SKILL.md in Human-Agent-Society/CORAL
Installs to: ~/.claude/skills/promoting-dev-to-main
Collection: One of 12 skills cataloged from this repository
Category: DevOps — 798 skills

What Promoting Dev To Main does

Promoting Dev To Main handles CORAL release pull requests from dev into main and tells you how to merge them safely. Use it when reviewing conflicts, checking ancestry, or confirming release validation.

Promoting Dev To Main is cataloged under DevOps on DirSkills. Promoting Dev To Main comes from a repository tagged agent-framework, agent-orchestration, agentic-ai, ai-agents and alpha-evolve.

Documentation

README

Excerpt

Promoting dev to main

Core rule

Merge dev → main release PRs with a merge commit. Never squash or rebase these promotions.

Ordinary contribution PRs still target dev and may be squash-merged. The release promotion is the exception because main must retain dev in its ancestry. Squashing a promotion makes the next release re-present old commits and can create large false conflicts.

Workflow

Confirm the PR is exactly base=main, head=dev and no duplicate release PR is open.
Review main..dev, required CI, and deployment checks.
In GitHub, open the merge-method dropdown and choose Create a merge commit. With the CLI, use:
```
gh pr merge <number> --repo Human-Agent-Society/CORAL --merge
```

This is the opening of the README. Read the full README on GitHub.

Frequently asked about Promoting Dev To Main

What else does Human-Agent-Society publish alongside Promoting Dev To Main?
Promoting Dev To Main is one of 12 skills that DirSkills catalogs from Human-Agent-Society/CORAL, the repository it ships in. Its siblings there include CORAL Quickstart, Coral Debug and Coral Extend. Each one is a separate skill with its own page in this directory, installs the same way Promoting Dev To Main does, and is maintained by Human-Agent-Society in that same repository. The rest of the collection is listed on the Human-Agent-Society/CORAL page.
How does Promoting Dev To Main compare to other DevOps skills?
Promoting Dev To Main ranks #493 by stars among the 798 DevOps skills in this catalog. The most-starred ones next to it are Backend Patterns, API Connector Builder and Migration. DirSkills ranks by the star count of the repository each skill ships in, so that order reflects how popular those repositories are rather than any review of Promoting Dev To Main against them. Open each page to compare what they document and how they install.