This repository was archived by the owner on Sep 26, 2023. It is now read-only.
This repository was archived by the owner on Sep 26, 2023. It is now read-only.
Backreferences? #384
Description
I wonder if it would be useful to have this bot manage backreferences: If in PR #12 I say it depends on PR #10, then the bots’ comment at #10 could maybe say something like
The following PRs are depending on this one…
and/or a label blocking-other-PRs could be added to #10.