Skip to content

Add task publishing helper scripts#6

Merged
TamaruNorio merged 1 commit into
mainfrom
codex/task-publishing-helpers
May 25, 2026
Merged

Add task publishing helper scripts#6
TamaruNorio merged 1 commit into
mainfrom
codex/task-publishing-helpers

Conversation

@TamaruNorio

Copy link
Copy Markdown
Owner

Summary

  • Added new_task.ps1 to start a new work branch from the latest main.
  • Added publish_pr.ps1 to run preflight checks, commit, push, generate pr_body.md, and show the PR creation URL.
  • Added sync_after_merge.ps1 to update main, delete the local merged branch, and run dev_check.
  • Added pr_body.md to .gitignore.
  • Documented the helper scripts in README.

Test

  • .\scripts\dev_check.ps1
  • pytest completed
  • blocked text scan completed
  • logs/real_device/ ignore check completed

Safety

  • No real device communication
  • real_device_check.py not executed
  • logs/real_device/ is excluded from Git
  • git push executed manually
  • PR creation and merge are manual

Notes

  • publish_pr.ps1 requires YES before running git add, git commit, and git push.
  • PR creation and merge are not automated.

@TamaruNorio TamaruNorio merged commit 1930231 into main May 25, 2026
2 checks passed
@TamaruNorio TamaruNorio deleted the codex/task-publishing-helpers branch May 25, 2026 04:18
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