PR
zacharyfmarion/openscad-studio
A skill your agent uses when the user wants to open a pull request or finish a branch handoff.
The rules for opening a PR you must read before creating or editing any pull request.
$ npx skills add wado-lang/wado --skill pull-request -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install wado-lang/wado pull-request --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/wado-lang/wado.git skills-src && mkdir -p .claude/skills && cp -r skills-src/.claude/skills/pull-request .claude/skills/pull-request && rm -rf skills-srcUse ~/.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/
Install the "pull-request" agent skill from https://github.com/wado-lang/wado/tree/main/.claude/skills/pull-request into .claude/skills/pull-request/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "pull-request", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/wado-lang/wado/tree/main/.claude/skills/pull-requestType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add wado-lang/wado --skill pull-request -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install wado-lang/wado pull-request --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/wado-lang/wado.git skills-src && mkdir -p .agents/skills && cp -r skills-src/.claude/skills/pull-request .agents/skills/pull-request && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "pull-request" agent skill from https://github.com/wado-lang/wado/tree/main/.claude/skills/pull-request into .agents/skills/pull-request/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "pull-request", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add wado-lang/wado --skill pull-request -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install wado-lang/wado pull-request --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/wado-lang/wado.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/.claude/skills/pull-request .cursor/skills/pull-request && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "pull-request" agent skill from https://github.com/wado-lang/wado/tree/main/.claude/skills/pull-request into .cursor/skills/pull-request/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "pull-request", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/wado-lang/wado.git --path .claude/skills/pull-request--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add wado-lang/wado --skill pull-request -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install wado-lang/wado pull-request --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/wado-lang/wado.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/.claude/skills/pull-request .gemini/skills/pull-request && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "pull-request" agent skill from https://github.com/wado-lang/wado/tree/main/.claude/skills/pull-request into .gemini/skills/pull-request/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "pull-request", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install wado-lang/wado pull-requestInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add wado-lang/wado --skill pull-request -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/wado-lang/wado.git skills-src && mkdir -p .github/skills && cp -r skills-src/.claude/skills/pull-request .github/skills/pull-request && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "pull-request" agent skill from https://github.com/wado-lang/wado/tree/main/.claude/skills/pull-request into .github/skills/pull-request/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "pull-request", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add wado-lang/wado --skill pull-request -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install wado-lang/wado pull-request --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/wado-lang/wado.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/.claude/skills/pull-request .opencode/skills/pull-request && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "pull-request" agent skill from https://github.com/wado-lang/wado/tree/main/.claude/skills/pull-request into .opencode/skills/pull-request/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "pull-request", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
pull-requestThe rules for opening a PR you must read before creating or editing any pull request.
Pull Request is an agent skill from wado-lang/wado. The rules for opening a PR you must read before creating or editing any pull request.
Its SKILL.md is about 1k 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, covering Pull requests. It works with WebAssembly. The repository describes itself as: The Wado Programming Language. The licence is MIT.
Read from SKILL.md and the folder at commit 037dba4. It shows what the files ask for, not the result of running them.
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.
Shell commands in SKILL.md call:
gitFrom the folder's file list and the shell code blocks in SKILL.md.
No URLs in SKILL.md. Its commands use git, which can reach the network depending on how they are called.
From URLs in SKILL.md, links to its own repository left out.
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Pull Request loads about 1k tokens when it runs. Until then it costs about 25 tokens; SKILL.md has 631 words of instructions outside code blocks.
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.
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.
The full file from wado-lang/wado at commit 037dba4, republished under its MIT licence (© wado-lang). 631 words, ~1,018 tokens.
.claude/skills/pull-request/SKILL.md (or your agent's skills folder).If even one question you put to the user is still unanswered, stop here. Do not open a pull request, do not edit one, do not write a title or a description. End the turn by asking for the answer.
A pull request never goes out with an open question behind it. "The rest is ready" is not a reason to proceed, and neither is a question that looks minor: the user decides what is minor.
Read the branch's own changes, generated files left out:
git diff origin/main...HEAD -- $(scripts/changed-sources.sh)The title and description come from that diff, not from the session that
produced it. scripts/changed-sources.sh drops what .gitattributes marks
linguist-generated or linguist-vendored, which is where a regenerated corpus
or a fetched one would otherwise bury the change the PR is actually about. Say
in the description that the generated output was regenerated, not what moved
inside it.
Revise the branch while you are there: clean up comments and docs according to the project rules.
Check mergeability by exit status (after git fetch origin main):
git merge-tree --write-tree --no-messages --name-only HEAD origin/mainExit 0 = mergeable; exit 1 = conflicts, printing the merged tree OID followed by one conflicted path per line. This runs the real (ort) merge in memory and touches neither the worktree nor the index.
If conflicting, resolve with the git-upstream-sync skill.
A short summary of the value the branch creates, not of what was edited. A reader scanning a list of PRs is deciding whether to care.
<type>(<scope>): <the value>
If the branch is worth more than one thing, name the largest and leave the rest to the description.
type is one of these, with ! for a breaking change. The scope is optional.
.claude/hooks/pr-conventions.mts reads the types from this list.
featfixdocsperfrefactorchoreOpen with the outcome, in a paragraph a reader can stop after: what holds once this is merged, and what it is worth. Mechanism comes after, under headings.
Do not include trial-and-error history in the description; the commit history is the SSoT. That is any sentence which only parses against the pre-branch state: "previously X, now Y", "an earlier approach", "X was replaced by Y", a count given as a delta ("2 -> 0"). Read each sentence back and ask whether it works for someone who sees only the merged tree. If it needs the old state, cut it.
result_ty against the slot's type."The opening paragraph is the hardest place to hold that line: a speedup is worth stating, the struggle to find it is not.
If the branch obviously closes a known issue, add a closing keyword
(Closes #N). Do not go looking for one to attach.
No need to include a test section. CI runs the full test suite.
Angle brackets need nothing but a code span: `t_<Name>` renders as
written. The GitHub MCP server drops them and HTML-escapes quotes in the text it
reads back. Check the web UI before believing the description is broken, and
never rewrite prose to work around it.
Cut the draft before posting. A first draft follows the shape of the work: a heading for each thing that happened, at the length it took to do. Read it back and cut every sentence a reader would skip.
Subscribe to the PR with subscribe_pr_activity. Handle every event it
delivers; skipping one is a decision you state.
If the tool is unavailable, check the PR status and its review comments every 10 minutes instead. Stop once the review has settled and CI passes.
Keep checking mergeability (mergeable_state). If conflicting, resolve it with
the git-upstream-sync skill.
Answer a review, human or bot, with the code-review-response skill.
© wado-lang, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file
Just SKILL.md in .claude/skills/pull-request of wado-lang/wado.
Open the folder on GitHubat commit 037dba4
Pull Request 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.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Pull Request this skillwado-lang/wado | 117 | — | ~1k | Automated safety check: Pass | MIT | |
| PRzacharyfmarion/openscad-studio | 238 | — | ~570 | Automated safety check: Pass | GPL-2.0 | |
| Finishing a Development Branchobra/superpowers | 296k | 5 repos | ~1.9k | Automated safety check: Pass | MIT | |
| PR Babysitteropeninterpreter/openinterpreter | 69k | 3 repos | ~4.2k | Automated safety check: Pass | Apache-2.0 | |
| Check PRonyx-dot-app/onyx | 32k | 2 repos | ~2.3k | Automated safety check: Pass | MIT | |
| Understand Diff AnalysisEgonex-AI/Understand-Anything | 86k | 1 repos | ~1.4k | Automated safety check: Pass | MIT |
zacharyfmarion/openscad-studio
A skill your agent uses when the user wants to open a pull request or finish a branch handoff.
obra/superpowers
Walks the last step of a branch: confirm tests pass, detect the git environment, ask how to integrate, carry out your choice and clean up the worktree.
openinterpreter/openinterpreter
Watches an open GitHub pull request until it merges, handling review comments, diagnosing CI failures and retrying flaky checks along the way.
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.
Egonex-AI/Understand-Anything
Reads your git changes or a pull request against a prebuilt knowledge graph of the project to explain what changed, which components are affected and what is risky.
OpenHands/OpenHands
For a non-trivial pull request, write a self-contained HTML design doc under the temporary .pr/ directory and link a visibility-appropriate preview in the PR description, so maintainers grasp the…
wado-lang/wado
Profile the native Rust wado binary (compile/serve/run) for host-side bottlenecks — CPU with a sampling profiler, memory with the span trace's RSS and valgrind DHAT.
wado-lang/wado
Analyze and improve the runtime speed of a Wado program's compiled guest Wasm — profile hot functions, read the generated WIR for allocations and copies, reason about the WasmGC cost model, and…
wado-lang/wado
Measure how long GitHub Actions jobs and steps took across past runs, and find the pull request that made CI slower.
wado-lang/wado
Investigate and improve code coverage for the wado-compiler crate.
wado-lang/wado
The only way to merge origin/main into a branch, conflicts or not.
wado-lang/wado
Transpile Wado Wasm components to JS with jco, then run, debug, and benchmark them on Node.
Works with
Categories
The rules for opening a PR you must read before creating or editing any pull request. Pull Request is an agent skill from wado-lang/wado. The rules for opening a PR you must read before creating or editing any pull request.
Pull Request fits situations like: tasks that involve Pull requests.
Run `npx skills add wado-lang/wado --skill pull-request -a claude-code`. Or copy the skill folder (.claude/skills/pull-request in wado-lang/wado) into .claude/skills/pull-request in your project. Claude Code loads it when a task matches its description.
Run `npx skills add wado-lang/wado --skill pull-request -a codex`. Or copy the skill folder (.claude/skills/pull-request in wado-lang/wado) into .agents/skills/pull-request in your project. Codex loads it when a task matches its description.
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add wado-lang/wado --skill pull-request -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/pull-request, .gemini/skills/pull-request, .github/skills/pull-request and .opencode/skills/pull-request in your project.
Going by SKILL.md and its folder, Pull Request needs the command-line tools its instructions call (git).
SKILL.md contains no URLs. Its commands use git, which can reach the network depending on how they are called. This is read from the text; nothing was executed.
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.
Pull Request is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.
About 1k tokens (SKILL.md is roughly 4.1k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.
Skills that share tags, products or a category with Pull Request: PR (zacharyfmarion/openscad-studio, 238 stars), Finishing a Development Branch (obra/superpowers, 296k stars), PR Babysitter (openinterpreter/openinterpreter, 69k stars) and Check PR (onyx-dot-app/onyx, 32k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
wado-lang (a GitHub organization) maintains it in wado-lang/wado, which has 117 GitHub stars. The repository holds 15 skills in this directory. The repository was last updated on October 8, 2026.
Source: wado-lang/wado on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.