Use when creating, updating, reviewing, testing, or merging a GitHub pull request.
Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.
What the file says
# GitHub PR Workflow
## Overview
Keep pull request work reviewable: one branch, one purpose, clear tests, and a concise body.
## Workflow
1. Inspect status:
```bash
git status --short --branch
git remote -v
```
2. Create a branch with a conventional prefix:
```bash
git checkout -b codex/short-description
```
3. Make scoped changes and run relevant tests.
4. Stage only intended files:
```bash
git add README.md docs/SKILL_CATALOG.md
git diff --cached --stat
```
5. Commit with a precise message:
```bash
git commit -m "docs: improve public skill catalog"
```
6. Push and open the PR:
```bash
git push -u origin HEAD
gh pr create --fill
```
## PR Body
Include:
- Summary
- Verification
- Risk or rollback notes
- Screenshots for visible docs/site changes when useful
## Safety
- Do not include private config, real credentials, private logs, or local cache files.
- Run the repo safety audit before opening public PRs.
The line at the top of this page pins the label git:20260514.27df22e, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.
GET https://markdownregistry.com/api/v1/artifacts/art_kb75e6lp3owbg5cg
GET https://markdownregistry.com/api/v1/resolve?ref=martin-hausleitner/martins-awesome-skills/github-pr-workflow
GET https://markdownregistry.com/api/v1/blob/1a26baf0522ecabf48e9fd946ddd42a7dd30bfc60a37b719d6aed02f2a51c8aa
Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.
martin-hausleitner/martins-awesome-skills · skills/creative/p5js/SKILL.md · Production pipeline for interactive and generative visual art using p5.js. Creates browser-based sketches, generative…
martin-hausleitner/martins-awesome-skills · skills/devops/webhook-subscriptions/SKILL.md · Use when external services should trigger agent runs through webhook events
martin-hausleitner/martins-awesome-skills · skills/email/himalaya/SKILL.md · CLI to manage emails via IMAP/SMTP. Use himalaya to list, read, write, reply, forward, search, and organize emails from…
martin-hausleitner/martins-awesome-skills · skills/github/github-auth/SKILL.md · Use when GitHub authentication is missing, broken, or needed before repository, issue, pull request, or CI work
martin-hausleitner/martins-awesome-skills · skills/github/github-issues/SKILL.md · Use when triaging, creating, labeling, searching, or closing GitHub issues
taracodlabs/aiden · workspace-templates/skills/github-pr-workflow/SKILL.md · Full pull request lifecycle — create, review, merge, and manage PRs using the gh CLI
