New: 98,000+ skills indexed from GitHub repos with 100+ stars · every skill safety-checkedBrowse top skillsTop skills
Esc to closeBrowse all skills
Submit a skillBrowse skills
Submit a skillBrowse skills

Agent skill

Respect Manual PR Edits

by 0xMiden in 0xMiden/protocol

A skill your agent uses when editing or updating a GitHub pull request or issue body, or a PR title, that a person may have rewritten - fetch the live text first and preserve the manual changes.

MITAuto-check passedDevelopment

Install Respect Manual PR Edits

skills CLI
$ npx skills add 0xMiden/protocol --skill respect-manual-pr-edits -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install 0xMiden/protocol respect-manual-pr-edits --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/0xMiden/protocol.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.claude/skills/respect-manual-pr-edits .claude/skills/respect-manual-pr-edits && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
respect-manual-pr-edits
GitHub stars
133
Token cost
~421 tokens
SKILL.md length
205 words
Files
1
Skills in repo
35
Repo updated
First seen
Licence
MIT

At a glance

A skill your agent uses when editing or updating a GitHub pull request or issue body, or a PR title, that a person may have rewritten - fetch the live text first and preserve the manual changes.

  • Works in 4 steps: Fetch the live body immediately before… → Diff it against what you last wrote.… → Make only the targeted edits the… → …
  • Updating a GitHub pull request
  • SKILL.md covers Rule, Procedure, Why and Example
  • Calls gh

What it does

Respect Manual PR Edits is an agent skill from 0xMiden/protocol. Use when editing or updating a GitHub pull request or issue body, or a PR title, that a person may have rewritten - fetch the live text first and preserve the manual changes.

Its SKILL.md is about 420 tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.

It sits in Development. It works with GitHub. The repository describes itself as: Core components of the Miden protocol. The licence is MIT.

When your agent uses it

  • Updating a GitHub pull request
  • That a person may have rewritten - fetch the live text first and preserve the manual changes

Example prompts

  • “/respect-manual-pr-edits”

Workflow steps

4 steps, taken from the first numbered list in SKILL.md.

  1. Fetch the live body immediately before editing
  2. Diff it against what you last wrote. Treat every difference as a deliberate human edit.
  3. Make only the targeted edits the situation requires, such as a fact the code no longer
  4. Apply the same discipline to PR titles.

What it can do on your machine

Read from SKILL.md and the folder at commit 62b59ec. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    Shell commands in SKILL.md call:

    • gh

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md. Its commands use gh, which can reach the network depending on how they are called.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Respect Manual PR Edits loads about 421 tokens when it runs. Until then it costs about 50 tokens; SKILL.md has 205 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~50
When it runs · the whole SKILL.md, loaded when a task matches
~421

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from 0xMiden/protocol at commit 62b59ec, republished under its MIT licence (© 0xMiden). 205 words, ~421 tokens.

Download SKILL.mdSave it as .claude/skills/respect-manual-pr-edits/SKILL.md (or your agent's skills folder).
name
respect-manual-pr-edits
description
Use when editing or updating a GitHub pull request or issue body, or a PR title, that a person may have rewritten - fetch the live text first and preserve the manual changes.

Respect Manual Edits to PR and Issue Text

Rule

Once a person has edited a PR or issue description on GitHub, that live text is the source of truth. Later edits build on it and keep the person's structure, wording, headings and omissions. Never re-amend from the draft you originally wrote, restore a section they removed, or re-expand text they trimmed.

Procedure

  1. Fetch the live body immediately before editing: gh pr view <n> --json body --jq .body (or gh issue view <n> --json body --jq .body).
  2. Diff it against what you last wrote. Treat every difference as a deliberate human edit.
  3. Make only the targeted edits the situation requires, such as a fact the code no longer matches or a link that moved. Fix the specific sentence rather than replacing the body.
  4. Apply the same discipline to PR titles.

Why

A reviewer who rewrites a description has already decided what the reader needs. Overwriting it discards that decision and forces them to redo the work after every push.

Example

Avoid (the person cut the body to a summary and a notes list; the update replaces it with the original draft):

markdown
## Summary
...
## Changes
- five bullets restored from the first draft
## Open questions
- section the person had removed

Good (same live body, one sentence corrected because the code changed):

markdown
## Summary
...
## Notes
- The zero-price test now also covers three network notes.

© 0xMiden, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

Just SKILL.md in .claude/skills/respect-manual-pr-edits of 0xMiden/protocol.

Open the folder on GitHubat commit 62b59ec

Compare with similar skills

Respect Manual PR Edits next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Respect Manual PR Edits compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Respect Manual PR Edits this skill0xMiden/protocol133—~421Automated safety check: PassMIT
PR Babysitteropeninterpreter/openinterpreter69k3 repos~4.2kAutomated safety check: PassApache-2.0
Greplooponyx-dot-app/onyx32k4 repos~3.3kAutomated safety check: PassMIT
Check PRonyx-dot-app/onyx32k2 repos~2.3kAutomated safety check: PassMIT
Setup Matt Pocock Skillsbestofjs/bestofjs3.1k20 repos~1.7kAutomated safety check: PassMIT
Contributor-First PR MergeHKUDS/OpenHarness16k1 repos~847Automated safety check: PassMIT

Similar skills

  • PR Babysitter

    openinterpreter/openinterpreter

    Watches an open GitHub pull request until it merges, handling review comments, diagnosing CI failures and retrying flaky checks along the way.

    69k GitHub starsUsed in 3 repos~4.2k tokens
    DevelopmentAuto-check passed

  • Greploop

    onyx-dot-app/onyx

    Iteratively improves a PR (GitHub), MR (GitLab), or shelved changelist (Perforce) until Greptile gives it a 5/5 confidence score with zero unresolved comments.

    32k GitHub starsUsed in 4 repos~3.3k tokens
    DevelopmentAuto-check passed

  • Check PR

    onyx-dot-app/onyx

    Checks a GitHub, GitLab, or Perforce (p4) pull request (or merge request, or shelved changelist) for unresolved review comments, failing status checks, and incomplete PR descriptions.

    32k GitHub starsUsed in 2 repos~2.3k tokens
    DevelopmentAuto-check passed

  • Setup Matt Pocock Skills

    bestofjs/bestofjs

    Configure this repo for the engineering skills — set up its issue tracker, triage label vocabulary, and domain doc layout.

    3.1k GitHub starsUsed in 20 repos~1.7k tokens
    DevelopmentAuto-check passed

  • Contributor-First PR Merge

    HKUDS/OpenHarness

    Merges external GitHub pull requests while keeping the original author credited, and fixes conflicts after the merge instead of rewriting the contribution.

    16k GitHub starsUsed in 1 repo~847 tokens
    DevelopmentAuto-check passed

  • Create Pull Request

    cline/cline

    Opens a GitHub pull request from your current branch with the gh CLI, after reviewing the commits and diff and gathering the details the PR needs.

    70k GitHub starsUsed in 1 repo~1.6k tokens
    DevelopmentAuto-check passed

More from 0xMiden/protocol

All 35 skills in this repo

  • Advice Provider Hygiene

    0xMiden/protocol

    A skill your agent uses when writing kernel, account, or note MASM code that reads from or writes to the advice provider (advice stack / advice map) — validate advice data.

    133 GitHub stars~1.1k tokensUpdated yesterday
    Auto-check passed

  • Cheap Masm Equivalents

    0xMiden/protocol

    A skill your agent uses when writing or reviewing MASM hot paths or loops — prefer the cheaper equivalent: loop counters and pointers on the operand stack instead of procedure locals, neq.0 over…

    133 GitHub stars~804 tokensUpdated yesterday
    Auto-check passed

  • Concise Changelog Entries

    0xMiden/protocol

    Keep CHANGELOG.md entries to a single concise sentence. An agent skill from 0xMiden/protocol.

    133 GitHub stars~805 tokensUpdated yesterday
    Auto-check passed

  • Concise PR And Issue Descriptions

    0xMiden/protocol

    Keep PR and issue descriptions short and decision-focused. An agent skill from 0xMiden/protocol.

    133 GitHub stars~1.8k tokensUpdated yesterday
    Auto-check passed

  • Conversion Method Naming

    0xMiden/protocol

    A skill your agent uses when naming a conversion or accessor method in Rust — follow the Rust API naming conventions for the method's cost and ownership.

    133 GitHub stars~450 tokensUpdated yesterday
    Auto-check passed

  • Decouple Component From Storage

    0xMiden/protocol

    A skill your agent uses when writing a generic MASM utility that accesses a caller-selected account storage slot — receive the slot as a parameter so the utility is portable across storage layouts.

    133 GitHub stars~529 tokensUpdated yesterday
    Auto-check passed

Works with

Categories

Questions about Respect Manual PR Edits

What does Respect Manual PR Edits do?

A skill your agent uses when editing or updating a GitHub pull request or issue body, or a PR title, that a person may have rewritten - fetch the live text first and preserve the manual changes. Respect Manual PR Edits is an agent skill from 0xMiden/protocol. Use when editing or updating a GitHub pull request or issue body, or a PR title, that a person may have rewritten - fetch the live text first and preserve the manual changes.

When should I use Respect Manual PR Edits?

Respect Manual PR Edits fits situations like: updating a GitHub pull request; that a person may have rewritten - fetch the live text first and preserve the manual changes.

How do I install Respect Manual PR Edits in Claude Code?

Run `npx skills add 0xMiden/protocol --skill respect-manual-pr-edits -a claude-code`. Or copy the skill folder (.claude/skills/respect-manual-pr-edits in 0xMiden/protocol) into .claude/skills/respect-manual-pr-edits in your project. Claude Code loads it when a task matches its description.

How do I install Respect Manual PR Edits in Codex?

Run `npx skills add 0xMiden/protocol --skill respect-manual-pr-edits -a codex`. Or copy the skill folder (.claude/skills/respect-manual-pr-edits in 0xMiden/protocol) into .agents/skills/respect-manual-pr-edits in your project. Codex loads it when a task matches its description.

Can I use Respect Manual PR Edits in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add 0xMiden/protocol --skill respect-manual-pr-edits -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/respect-manual-pr-edits, .gemini/skills/respect-manual-pr-edits, .github/skills/respect-manual-pr-edits and .opencode/skills/respect-manual-pr-edits in your project.

What does Respect Manual PR Edits need to run?

Going by SKILL.md and its folder, Respect Manual PR Edits needs the command-line tools its instructions call (gh).

Does Respect Manual PR Edits access the network?

SKILL.md contains no URLs. Its commands use gh, which can reach the network depending on how they are called. This is read from the text; nothing was executed.

Is Respect Manual PR Edits safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Respect Manual PR Edits use?

Respect Manual PR Edits is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Respect Manual PR Edits use?

About 421 tokens (SKILL.md is roughly 1.7k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Respect Manual PR Edits?

Skills that share tags, products or a category with Respect Manual PR Edits: PR Babysitter (openinterpreter/openinterpreter, 69k stars), Greploop (onyx-dot-app/onyx, 32k stars), Check PR (onyx-dot-app/onyx, 32k stars) and Setup Matt Pocock Skills (bestofjs/bestofjs, 3.1k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Respect Manual PR Edits?

0xMiden (a GitHub organization) maintains it in 0xMiden/protocol, which has 133 GitHub stars. The repository holds 35 skills in this directory. The repository was last updated on October 9, 2026.

Source: 0xMiden/protocol on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.