Skip to content

docs(skills): remove local babysit-pr copy#288

Merged
shiny-code-bot merged 1 commit into
mainfrom
chore/remove-local-babysit-skill
May 31, 2026
Merged

docs(skills): remove local babysit-pr copy#288
shiny-code-bot merged 1 commit into
mainfrom
chore/remove-local-babysit-skill

Conversation

@shiny-code-bot
Copy link
Copy Markdown
Collaborator

Summary

  • remove the repo-local lightweight babysit-pr copy
  • keep .github/github.json pointing at babysit-pr, but mark it as sourced from shared codex-skills
  • leave only Every Code-specific local skills under .codex/skills

Refs #281

Validation

  • jq . .github/github.json
  • quick_validate.py for each remaining local skill
  • confirmed shared /Users/cbusillo/Developer/codex-skills/babysit-pr/SKILL.md exists
  • ./build-fast.sh

@shiny-code-bot shiny-code-bot merged commit e964e3f into main May 31, 2026
1 check passed
@shiny-code-bot shiny-code-bot deleted the chore/remove-local-babysit-skill branch May 31, 2026 22:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants