Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
36 changes: 0 additions & 36 deletions .codex/skills/README.md

This file was deleted.

31 changes: 0 additions & 31 deletions .codex/skills/boundary-check/SKILL.md

This file was deleted.

32 changes: 0 additions & 32 deletions .codex/skills/phase-executor/SKILL.md

This file was deleted.

32 changes: 0 additions & 32 deletions .codex/skills/phase-planner/SKILL.md

This file was deleted.

35 changes: 0 additions & 35 deletions .codex/skills/repair-reopen/SKILL.md

This file was deleted.

30 changes: 0 additions & 30 deletions .codex/skills/request-intake/SKILL.md

This file was deleted.

30 changes: 0 additions & 30 deletions .codex/skills/review-closeout/SKILL.md

This file was deleted.

34 changes: 0 additions & 34 deletions .codex/skills/socratic-spec-authoring/SKILL.md

This file was deleted.

31 changes: 0 additions & 31 deletions .codex/skills/verification-runner/SKILL.md

This file was deleted.

19 changes: 0 additions & 19 deletions .githooks/pre-commit

This file was deleted.

25 changes: 1 addition & 24 deletions .githooks/pre-push
Original file line number Diff line number Diff line change
@@ -1,27 +1,4 @@
#!/bin/sh
set -eu

# Phase-boundary kickoff proof is enforced by workflow runtime, not by git hooks.

python3 scripts/workflow.py doctor
python3 scripts/workflow.py hook pre_command --command-text "git push $*"

current_branch="$(git branch --show-current 2>/dev/null || true)"
if [ "$current_branch" = "main" ]; then
main_tip="$(git rev-parse HEAD 2>/dev/null || true)"
develop_tip="$(git rev-parse --verify refs/heads/develop 2>/dev/null || true)"
if [ -n "$main_tip" ] && [ "$main_tip" = "$develop_tip" ]; then
exit 0
fi
fi

task_id="${WORKFLOW_TASK_ID:-}"
if [ -n "$task_id" ]; then
phase_id="${WORKFLOW_PHASE_ID:-}"
if [ -z "$phase_id" ]; then
phase_id="$(python3 scripts/workflow.py status "$task_id" --field active_phase_id 2>/dev/null || true)"
fi
python3 scripts/workflow.py hook pre_push --task-id "$task_id" --phase-id "$phase_id" --command-text "git push $*"
else
python3 scripts/workflow.py hook pre_push --command-text "git push $*"
fi
python3 scripts/workflow.py hook pre_push --command-text "git push $*"
1 change: 0 additions & 1 deletion .github/ISSUE_TEMPLATE/config.yml

This file was deleted.

Loading