docs(skill): distinguish submit-time from add-time in PR lifecycle#121
Conversation
Time Submission Status
Submit or update total time with: Add time on top of previous submission with: See available commands to help comply with our Guidelines. |
WalkthroughThis PR updates documentation only: ChangesTime reporting documentation
Estimated code review effort: 1 (Trivial) | ~5 minutes Possibly related issues
Possibly related PRs
Suggested reviewers: 🚥 Pre-merge checks | ✅ 5✅ Passed checks (5 passed)
✨ Finishing Touches📝 Generate docstrings
🧪 Generate unit tests (beta)
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. Comment |
zolotokrylin
left a comment
There was a problem hiding this comment.
@holdex pr submit-time 16m
The /submit-time command posted the wrong Wizard bot syntax (pr submit-time add <duration> and merge) because it only knew about pr submit-time, not the separate pr add-time command for adding on top of a previous submission. Teach the command both forms directly.
bd8cafa to
9356047
Compare
Summary
Context
The /submit-time command posted the wrong syntax on a PR because it only knew about `pr submit-time`, not the separate `pr add-time` command.
Test plan