refined-github/refined-github
Voir sur GitHubList issues/PRs that will be closed when merging a PR
Open
#7 894 ouverte le 12 oct. 2024
Please! ♥︎enhancementhelp wanted
Métriques du dépôt
- Stars
- (22 918 stars)
- Métriques de merge PR
- (Merge moyen 1j 18h) (44 PRs mergées en 30 j)
Description
Description
Initially suggested in https://github.com/refined-github/refined-github/issues/2579
In short, when I click "Merge pull request" I want to be reminded of which issues/PRs will close.
This list can be retrieved via API ("linked issues"), or in the sidebar+first post