Skip to content

conflict-marker - Restore link to the bottom of the PR page#9384

Merged
fregante merged 4 commits into
mainfrom
copilot/fix-partial-pull-merging-issue
May 8, 2026
Merged

conflict-marker - Restore link to the bottom of the PR page#9384
fregante merged 4 commits into
mainfrom
copilot/fix-partial-pull-merging-issue

Conversation

Copilot AI commented May 8, 2026

Copy link
Copy Markdown
Contributor

GitHub removed the #partial-pull-merging anchor; links and CSS selectors targeting it are now broken/inert. Replace with the current #issue-comment-box hash across the three affected files.

  • pr-approvals-count.css — 5 [href$='#partial-pull-merging'] selectors → [href$='#issue-comment-box']
  • conflict-marker.tsx — conflict icon href updated
  • jump-to-change-requested-comment.tsx — test URL comment updated

Test URLs

https://github.com/refined-github/sandbox/pulls?q=is%3Apr+is%3Aopen+sort%3Aupdated-desc+review
#9366

Screenshot

Copilot AI linked an issue May 8, 2026 that may be closed by this pull request
1 task
Copilot AI changed the title [WIP] Fix missing partial pull merging hash link pr-approvals-count, conflict-marker: Replace removed #partial-pull-merging hash with #issue-comment-box May 8, 2026
Copilot AI requested a review from fregante May 8, 2026 09:12
@fregante fregante changed the title pr-approvals-count, conflict-marker: Replace removed #partial-pull-merging hash with #issue-comment-box conflict-marker - Restore link to bottom of the PR page May 8, 2026
@fregante fregante marked this pull request as ready for review May 8, 2026 09:22
@fregante fregante changed the title conflict-marker - Restore link to bottom of the PR page conflict-marker - Restore link to the bottom of the PR page May 8, 2026
@fregante fregante added the bug label May 8, 2026
@fregante fregante enabled auto-merge (squash) May 8, 2026 09:22
@fregante fregante merged commit 2f094ce into main May 8, 2026
9 checks passed
@SunsetTechuila SunsetTechuila deleted the copilot/fix-partial-pull-merging-issue branch May 8, 2026 09:59
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.

#partial-pull-merging doesn't exist

2 participants