ceratops-gh-merge-pr

Enforce live readiness checks before merging GitHub pull requests with post-merge cleanup.

Updated Apr 18, 2026
One-click install
npx skills add https://github.com/ceratops-code/codex-skills --skill ceratops-gh-merge-pr
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: ceratops-gh-merge-pr
Source: https://github.com/ceratops-code/codex-skills/tree/main/skills/ceratops-gh-merge-pr
Command: npx skills add https://github.com/ceratops-code/codex-skills --skill ceratops-gh-merge-pr

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Merges on GitHub PRs safely by enforcing a live readiness check before completion, ensuring repo health and policy adherence.

Core Features & Use Cases

  • Live PR readiness checks drive decisions and prevent unsafe merges.
  • Automatic post-merge cleanup and branch hygiene to reduce drift.
  • Supports policy-driven merge methods and gatekeeping for multi-team workflows.

Quick Start

Run the bundled PR readiness check and, if gates are green, perform the merge with admin privileges and cleanup.

Frequently Asked Questions about ceratops-gh-merge-pr

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I safely merge a GitHub PR with live readiness checks?

To safely merge a GitHub PR, the Skill runs a bundled live readiness check evaluating repository health and policy adherence. If all gating checks pass green, the merge executes automatically with admin privileges and post-merge branch cleanup.

What is GitHub PR gatekeeping and when do I need it for multi-team workflows?

GitHub PR gatekeeping enforces strict readiness checks before allowing a merge. You need it for multi-team workflows requiring policy-driven merge methods, repository health enforcement, and branch hygiene to prevent unsafe merges and reduce drift.

Does this PR merge automation handle post-merge cleanup and branch hygiene?

Yes, the PR merge automation handles post-merge cleanup and branch hygiene automatically. It removes merged branches and enforces hygiene rules to reduce drift across multiple teams after the merge completes successfully.

Can I enforce policy-driven merge methods for GitHub pull requests?

Yes, you can enforce policy-driven merge methods for GitHub pull requests. The Skill applies gating rules that satisfy requirements for PR readiness, merge method selection, and cleanup rules using local state evidence and live state checks.

What's the best way to prevent unsafe PR merges in GitHub repositories?

The best way to prevent unsafe PR merges is to enforce live readiness checks before completion. This approach drives merge decisions based on real-time repository health and policy adherence, blocking completion until all gates are green.