Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
abf7f52
GH-5663: add deprecation notices for FedX
aschwarte10 Jan 3, 2026
ea83bd7
5.3.0-M2-release-notes (#5682)
hmottestad Feb 12, 2026
8e8ea5a
codex skill for reading github issues, PRs and milestones (#5685)
hmottestad Feb 12, 2026
c0721f2
Add spreadsheet support to rdf4j-530-M2.md
JervenBolleman Feb 13, 2026
4ff0fd0
Add spreadsheet support to rdf4j-530-M2.md (#5687)
hmottestad Feb 16, 2026
7ac484a
GH-5691 CLI for running and storing query explanations
hmottestad Feb 17, 2026
1ff6db0
GH-5691 CLI for running and storing query explanations
hmottestad Feb 17, 2026
665e95c
GH-5691 CLI for running and storing query explanations
hmottestad Feb 17, 2026
605ca0a
GH-5691 CLI for running and storing query explanations
hmottestad Feb 17, 2026
ae9024f
GH-5691 CLI for running and storing query explanations
hmottestad Feb 17, 2026
9c1a661
GH-5691 CLI for running and storing query explanations
hmottestad Feb 17, 2026
92a7328
GH-5691 CLI for running and storing query explanations
hmottestad Feb 17, 2026
34e0c52
GH-5691 CLI for running and storing query explanations
hmottestad Feb 17, 2026
7ecde98
GH-5691 CLI for running and storing query explanations
hmottestad Feb 17, 2026
522dbb1
GH-5691 CLI for running and storing query explanations
hmottestad Feb 17, 2026
64ce9ac
GH-5691 CLI for running and storing query explanations
hmottestad Feb 17, 2026
1228299
GH-5691 CLI for running and storing query explanations
hmottestad Feb 17, 2026
bfa2aec
GH-5691 CLI for running and storing query explanations
hmottestad Feb 17, 2026
1b1ca26
GH-5691 CLI for running and storing query explanations
hmottestad Feb 18, 2026
a710fe7
GH-5663: add deprecation notices for FedX (#5665)
aschwarte10 Feb 18, 2026
05689ea
GH-5691 CLI for running and storing query explanations
hmottestad Feb 18, 2026
6ac05fc
GH-5691 CLI for running and storing query explanations
hmottestad Feb 18, 2026
e76d378
GH-5691 CLI for running and storing query explanations
hmottestad Feb 18, 2026
1d73643
GH-5691 CLI for running and storing query explanations
hmottestad Feb 18, 2026
d0496a9
GH-5691 CLI for running and storing query explanations (#5692)
hmottestad Feb 18, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
54 changes: 54 additions & 0 deletions .codex/skills/gh-read-inspector/SKILL.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,54 @@
---
name: gh-read-inspector
description: Retrieve GitHub issues, pull requests, and milestones with read-only, whitelisted `gh` commands only. Use when you need complete issue or PR context, need to resolve a PR from commit ID/PR ID/issue ID, fetch milestone metadata, or list all issues in a milestone (labels, status, assignees, and related fields).
---

# gh-read-inspector

Use this skill for GitHub metadata lookup only. No write operations.

## Guardrails

- Use only `python3 .codex/skills/gh-read-inspector/scripts/gh_read_inspector.py ...`.
- Do not run ad-hoc `gh` commands from this skill.
- If `gh` is missing, stop and ask the user to install GitHub CLI (`https://cli.github.com/`).

## Commands

- Issue details:
- `python3 .codex/skills/gh-read-inspector/scripts/gh_read_inspector.py issue --repo owner/repo --issue 123`
- PR details by PR number:
- `python3 .codex/skills/gh-read-inspector/scripts/gh_read_inspector.py pr --repo owner/repo --pr 123`
- PR details by issue number:
- `python3 .codex/skills/gh-read-inspector/scripts/gh_read_inspector.py pr --repo owner/repo --issue 123`
- PR details by commit SHA:
- `python3 .codex/skills/gh-read-inspector/scripts/gh_read_inspector.py pr --repo owner/repo --commit <sha>`
- Milestone details (number or exact title):
- `python3 .codex/skills/gh-read-inspector/scripts/gh_read_inspector.py milestone --repo owner/repo --milestone 7`
- `python3 .codex/skills/gh-read-inspector/scripts/gh_read_inspector.py milestone --repo owner/repo --milestone "Release 4.3"`
- Milestone issues:
- `python3 .codex/skills/gh-read-inspector/scripts/gh_read_inspector.py milestone-issues --repo owner/repo --milestone 7 --state all`
- Show exact whitelist:
- `python3 .codex/skills/gh-read-inspector/scripts/gh_read_inspector.py whitelist`

## Whitelist

The script can execute only these command templates:

- `gh api -H "Accept: application/vnd.github+json" /repos/{repo}/issues/{issue}`
- `gh api -H "Accept: application/vnd.github+json" /repos/{repo}/issues/{issue}/comments?per_page={per_page}&page={page}`
- `gh api -H "Accept: application/vnd.github+json" /repos/{repo}/issues/{issue}/events?per_page={per_page}&page={page}`
- `gh api -H "Accept: application/vnd.github+json,application/vnd.github.mockingbird-preview+json" /repos/{repo}/issues/{issue}/timeline?per_page={per_page}&page={page}`
- `gh api -H "Accept: application/vnd.github+json" /repos/{repo}/pulls/{pr}`
- `gh api -H "Accept: application/vnd.github+json" /repos/{repo}/issues/{pr}/comments?per_page={per_page}&page={page}`
- `gh api -H "Accept: application/vnd.github+json" /repos/{repo}/pulls/{pr}/reviews?per_page={per_page}&page={page}`
- `gh api -H "Accept: application/vnd.github+json" /repos/{repo}/pulls/{pr}/comments?per_page={per_page}&page={page}`
- `gh api -H "Accept: application/vnd.github+json" /repos/{repo}/issues/{pr}/events?per_page={per_page}&page={page}`
- `gh api -H "Accept: application/vnd.github+json" /repos/{repo}/pulls/{pr}/commits?per_page={per_page}&page={page}`
- `gh api -H "Accept: application/vnd.github+json" /repos/{repo}/pulls/{pr}/files?per_page={per_page}&page={page}`
- `gh api -H "Accept: application/vnd.github+json" /repos/{repo}/commits/{commit}/pulls?per_page={per_page}&page={page}`
- `gh api -H "Accept: application/vnd.github+json" /repos/{repo}/commits/{commit}/check-runs`
- `gh api -H "Accept: application/vnd.github+json" /repos/{repo}/commits/{commit}/status`
- `gh api -H "Accept: application/vnd.github+json" /repos/{repo}/milestones/{milestone}`
- `gh api -H "Accept: application/vnd.github+json" /repos/{repo}/milestones?state=all&per_page={per_page}&page={page}`
- `gh api -H "Accept: application/vnd.github+json" /repos/{repo}/issues?milestone={milestone}&state={state}&per_page={per_page}&page={page}`
Loading
Loading