jihoson/LazyEnter
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Document safer PR workflow rules #7

Merged
jihoson merged 2 commits from chore/record-pr-workflow-safety into main 2026-02-17 04:31:22 +09:00
Conversation 0 Commits 2 Files Changed 1 +7
agentson commented 2026-02-17 04:29:48 +09:00
Collaborator
Copy Link

Summary

  • add a safe PR body authoring rule to avoid shell expansion issues in tea pr create
  • document fallback fix using tea api -X PATCH when PR body is malformed
  • add a mandatory post-merge routine: switch to main and run git pull --ff-only

Verification

  • documentation-only change
## Summary - add a safe PR body authoring rule to avoid shell expansion issues in `tea pr create` - document fallback fix using `tea api -X PATCH` when PR body is malformed - add a mandatory post-merge routine: switch to `main` and run `git pull --ff-only` ## Verification - documentation-only change
agentson added 1 commit 2026-02-17 04:29:48 +09:00
Document safe PR body flow and post-merge main sync 909ef08e37
agentson added 1 commit 2026-02-17 04:31:02 +09:00
Resolve AGENTS.md merge conflict with main cf1a6cb620
jihoson merged commit 0a49032f29 into main 2026-02-17 04:31:22 +09:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
Clear labels
bug
Something is not working
 duplicate
This issue or pull request already exists
 enhancement
New feature
 help wanted
Need some help
 invalid
Something is wrong
 question
More information is needed
 wontfix
This won't be fixed
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
agentson jihoson
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: jihoson/LazyEnter#7
Delete Branch "chore/record-pr-workflow-safety"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?