Usually forks are only useful to send PRs. When your open PRs are merged, they should be deleted.
Finding out whether your fork is still needed takes too long (open source repo, go to PRs, look for your PRs).
Refined GitHub should mention your open PRs in:
- your forked repo's header (perhaps even adding a tab next to the original "Pull requests (0)" tab)
- In the "Delete repo" lightbox ("you have x PRs open" or "no PRs are open, you can delete it")
Ideally this should check whether there are any branches ahead of source like https://github.com/denis-sokolov/remove-github-forks does, but checking for PRs alone would make this feature a good companion to that CLI tool.
IssueHunt Summary
loilo has been rewarded.
Backers (Total: $5.00)
Submitted pull Requests
Tips
IssueHunt has been backed by the following sponsors. Become a sponsor
Usually forks are only useful to send PRs. When your open PRs are merged, they should be deleted.
Finding out whether your fork is still needed takes too long (open source repo, go to PRs, look for your PRs).
Refined GitHub should mention your open PRs in:
Ideally this should check whether there are any branches ahead of source like https://github.com/denis-sokolov/remove-github-forks does, but checking for PRs alone would make this feature a good companion to that CLI tool.
IssueHunt Summary
Backers (Total: $5.00)
Submitted pull Requests
show-open-prs-of-forksfeatureTips
IssueHunt has been backed by the following sponsors. Become a sponsor