🔧DevOps
49
81

github-pr-merge

Merges GitHub Pull Requests after validating pre-merge checklist. Use when user wants to merge PR, close PR, finalize PR, complete merge, approve and merge, or execute merge. Runs pre-merge validation (tests, lint, CI, comments), confirms with user, merges with proper format, handles post-merge cleanup.

#automation#ci-cd#github#pull-request
Share
Quick Install
>_npx skills add fvadicamo/dev-agent-skills
Documentation
Loading documentation...
Repository
Repositoryfvadicamo/dev-agent-skills
Stars49
Last UpdatedMar 6, 2026
Related Skills
7,700
55,506

using-git-worktrees

Create isolated Git worktrees for feature development with smart directory selection and safety checks.

obra
obra/superpowers
7,685
23,974

gh-cli

A comprehensive GitHub CLI reference for managing repositories, issues, pull requests, and more from the command line.

github
github/awesome-copilot
7,307
26

environment-setup

Set up and manage development, staging, and production environments with configuration and .env file handling.

supercent-io
supercent-io/skills-template
7,305
26

git-submodule

Manage Git submodules for including external repositories within a main repository.

supercent-io
supercent-io/skills-template
7,017
7,226

release-skills

Automatically handles releases for multiple languages and frameworks with version detection and changelog support.

jimliu
jimliu/baoyu-skills