Repository navigation

Add a hint to handle stacks that have closed pull requests - #612

Open

nickborromeo wants to merge 4 commits into

mainfrom

closed-bottom-pr-hint

Open

Add a hint to handle stacks that have closed pull requests#612
nickborromeo wants to merge 4 commits into
mainfrom
closed-bottom-pr-hint

Commits on Nov 3, 2026
- Add a hint to handle closed PRs in a stack
  nickborromeo
  committed
  eb48e1c
- Make changes to report to the user on how to handle closed prs on merging
  nickborromeo
  committed
  ef619b0
- Handle the cases in the sync path to report closed PRs
  nickborromeo
  committed
  282e7d9
- Update documentation
  nickborromeo
  committed
  c4caa6a