Files
5chan/.codex/skills/make-closed-issue/SKILL.md
T
Tommaso Casaburi 047bb1d5ab chore(skills): drop GitHub issue/project finalization from PR workflow skills
GitHub Projects are no longer used in this repo. Remove issue/project
finalization from review-and-merge-pr and the project-board step from
make-closed-issue in all three toolchain mirrors, record the surprise
in known-surprises.md, and regenerate llms files.
2026-07-23 18:59:30 +07:00

5.3 KiB

name, description
name description
make-closed-issue Create a GitHub issue from recent changes, commit only relevant diffs on a short-lived task branch, push that branch, and open a PR into master that will close the issue on merge. Use when the user says "make closed issue", "close issue", or wants to create a tracked, already-resolved GitHub issue for completed work.

Make Closed Issue

Creates a GitHub issue, commits relevant changes on a review branch, pushes the branch, and opens a PR into master that closes the issue when merged.

Inputs

  • What changed and why (from prior conversation context)
  • Uncommitted or staged git changes in the working tree

Workflow

1. Determine label(s)

The agent should choose the issue label(s) itself from the conversation context and diff. Do not ask the user to pick labels unless the work is genuinely ambiguous after reviewing both.

Default mapping:

Option When
bug Bug fix
enhancement New feature
bug + enhancement New feature that also fixes a bug
documentation README, AGENTS.md, docs-only changes

When the classification is ambiguous, make the best reasonable choice and note the reasoning in the final summary. Only ask the user if the ambiguity would materially affect tracking or triage.

2. Resolve the current GitHub assignee

Before creating or editing any issue assignee, determine the current contributor's GitHub username from the authenticated gh session. If gh is not signed in or cannot resolve the login, stop and ask the contributor for their GitHub username before proceeding.

GH_LOGIN=$(gh api user --jq '.login' 2>/dev/null || true)

if [ -z "$GH_LOGIN" ]; then
  echo "GitHub username could not be determined from gh auth. Ask the contributor for their GitHub username before proceeding."
  exit 1
fi

3. Ensure branch workflow is reviewable

  • If already on a short-lived task branch such as codex/feature/*, codex/fix/*, codex/docs/*, or codex/chore/*, stay on it.
  • If on master, create a task branch before staging or committing.
  • Do not commit the work directly on master when PR review bots are expected.

Suggested naming:

  • codex/feature/short-slug
  • codex/fix/short-slug
  • codex/docs/short-slug
  • codex/chore/short-slug

Example:

git switch -c codex/fix/reply-editor-stuck

4. Review diffs for relevance

git status
git diff
git diff --cached

Identify which files relate to the work done in this conversation. Only relevant changes get committed. Unrelated files must be excluded from staging.

Important: git add -p and git add -i are not available (interactive mode unsupported). If a file has mixed relevant/irrelevant changes, include the entire file and note the caveat to the user.

5. Generate issue title and description

From the conversation context:

  • Title: Short, present-tense, describes the problem (not the solution). Use backticks for UI elements, code, or literal strings (e.g. Post page `Update` button disabled and `Auto` alert unclear).
  • Description: 2-3 sentences about the problem. Use backticks for UI element names (Update, Auto), function/code references (useReplies().reset()), and literal text strings. Write as if the issue hasn't been fixed yet.

6. Create the issue

gh issue create \
  --repo bitsocialnet/5chan \
  --title "ISSUE_TITLE" \
  --body "ISSUE_DESCRIPTION" \
  --label "LABEL1,LABEL2" \
  --assignee "$GH_LOGIN"

Capture the issue number from the output.

7. Commit relevant changes

Stage only the relevant files:

git add file1.ts file2.tsx ...

Commit using Conventional Commits with scope:

git commit -m "$(cat <<'EOF'
type(scope): concise title

Optional 1-sentence description only if the title isn't self-explanatory.
EOF
)"
  • Types: fix, feat, perf, refactor, docs, chore
  • Scope: area of the codebase (e.g., reply-modal, markdown, routing)
  • Prefer title-only commits — skip description when the title is exhaustive

8. Push branch and open PR

Push the current task branch to origin and open a PR into master.

Use Closes #ISSUE_NUMBER in the PR body so the issue closes automatically when the PR is merged.

COMMIT_HASH=$(git rev-parse HEAD)
BRANCH_NAME=$(git branch --show-current)
git push -u origin "$BRANCH_NAME"

gh pr create \
  --repo bitsocialnet/5chan \
  --base master \
  --head "$BRANCH_NAME" \
  --title "PR_TITLE" \
  --body "$(cat <<EOF
SUMMARY

Closes #ISSUE_NUMBER
EOF
)"

Do not merge the PR locally as part of this skill. Review bots must be allowed to inspect the PR first.

If the user later explicitly asks to merge after reviews pass, a separate merge step can be run, for example:

gh pr merge --squash --delete-branch

9. Report summary

Print a summary to the user:

Issue #NUMBER created, committed, pushed, and linked to a PR into master.
  Branch: BRANCH_NAME
  Commit: HASH
  Labels: label1, label2
  PR: PR_URL
  URL: https://github.com/bitsocialnet/5chan/issues/NUMBER

If the PR has not been merged yet, explicitly tell the user that the issue will close on PR merge and that the branch should not be deleted yet.

After the PR is open, use review-and-merge-pr to inspect Bugbot, CodeRabbit, CI, and human feedback before merging.