Skip to content

Document sharks GitHub issue automation#979

Merged
jsiek merged 3 commits into
mainfrom
codex/document-github-issue-sharks-workflow
Jun 13, 2026
Merged

Document sharks GitHub issue automation#979
jsiek merged 3 commits into
mainfrom
codex/document-github-issue-sharks-workflow

Conversation

@jsiek

@jsiek jsiek commented Jun 13, 2026

Copy link
Copy Markdown
Owner

Summary

  • Add a knowledge-base page documenting the sharks-side GitHub issue automation workflow.
  • Cover the tmux supervisor, per-issue worktrees, PR follow-up sessions, automatic cleanup, auth expectations, validation, state locations, and recovery commands.

Validation

  • git diff --check
  • git diff --cached --check

@jsiek jsiek merged commit b572807 into main Jun 13, 2026
9 checks passed
@jsiek jsiek deleted the codex/document-github-issue-sharks-workflow branch June 13, 2026 16:48
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.

1 participant