docs: record empty-branch PR workflow note (#3065)
## Summary
- document that `git rev-list --left-right --count upstream/main...HEAD`
returning `0 0` means the branch cannot produce a PR
- note that agents should report the branch as pushed but PR-blocked
instead of creating an empty commit just to satisfy `gh pr create`
- update the git workflow rules with this edge case
## Test plan
- npm run fmt
- npm run lint:fix
- npm run ts
- npm test
#skip-bugbot
🤖 Generated with [Claude Code](https://claude.com/claude-code)
<!-- devin-review-badge-begin -->
---
<a href="https://app.devin.ai/review/dyad-sh/dyad/pull/3065"
target="_blank">
<picture>
<source media="(prefers-color-scheme: dark)"
srcset="https://static.devin.ai/assets/gh-open-in-devin-review-dark.svg?v=1">
<img
src="https://static.devin.ai/assets/gh-open-in-devin-review-light.svg?v=1"
alt="Open with Devin">
</picture>
</a>
<!-- devin-review-badge-end -->
Co-authored-by:
Will Chen <7344640+wwwillchen@users.noreply.github.com>
正在显示
请
注册
或者
登录
后发表评论