`show-open-prs-of-forks` - Restore on fork deletion page by fregante · Pull Request #9634 · refined-github/refined-github · GitHub
Skip to content

show-open-prs-of-forks - Restore on fork deletion page#9634

Merged
fregante merged 5 commits into
mainfrom
restore-forks
May 29, 2026
Merged

show-open-prs-of-forks - Restore on fork deletion page#9634
fregante merged 5 commits into
mainfrom
restore-forks

Conversation

@fregante

@fregante fregante commented May 29, 2026

Copy link
Copy Markdown
Member

@fregante fregante changed the title show-open-prs-of-forks - Restore on show-open-prs-of-forks - Restore on fork deletion page May 29, 2026
@github-actions github-actions Bot added the bug label May 29, 2026

@fregante fregante May 29, 2026

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The drawback is that this banner stays on every page of the deletion wizard. I did not find a wrapper that is cleaned up between pages. Not a big issue though.

I'm surprised that GitHub did not add this warning since the deletion wizard is not 4-pages long.

' with ',
<a href={url}>{pluralize(count, 'one open pull request', '$$+ open pull requests')}</a>,
);
}, {signal});

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Also:

Image

@fregante

Copy link
Copy Markdown
Member Author

@fregante fregante enabled auto-merge (squash) May 29, 2026 09:39
@fregante fregante merged commit 41191be into main May 29, 2026
12 checks passed
@fregante fregante deleted the restore-forks branch June 1, 2026 06:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Development

Successfully merging this pull request may close these issues.

show-open-prs-of-forks: Expected element not found: [data-hovercard-type="repository"]

1 participant