[Labelling Correction Signal] Discussion #258: Issue when creating pull request and merging

[mnkiefer]

This issue records trusted label corrections for one discussion. It is a deterministic intake record for later agentic analysis of .github/instructions/community-discussion-labeling.md.

Signal key: githubnext/aw-community-discussions#258
Discussion number: 258
Target repository: githubnext/aw-community-discussions
Discussion URL: githubnext/aw-community-discussions#258
Current category: Projects and Issues
Current category slug: projects-and-issues
Current labels: bug, Issues, source:ui
Seen labels: bug
Seen event types: labeled
Correction count: 1
First correction seen: 2026-04-15T21:01:54.593Z
Last correction seen: 2026-04-15T21:01:54.593Z
Latest event type: labeled
Latest label: bug

Discussion Snapshot

Title: Issue when creating pull request and merging

🏷️ Discussion Type Bug 💬 Feature/Topic Area Issues Body when we create pull request and going to merge it, it keeps getting loading untill i refresh the page again Guidelines I have read the above statement and can confirm my post is relevant to the GitHub feature areas Issues and/or Projects.

Correction History

When	Event	Label
2026-04-15T21:01:54.593Z	labeled	bug