Skip to content

Add type and name of query to ids used in websockets#688

Merged
rpiaggio merged 1 commit into
mainfrom
better-ws-ids
Jun 6, 2025
Merged

Add type and name of query to ids used in websockets#688
rpiaggio merged 1 commit into
mainfrom
better-ws-ids

Conversation

@rpiaggio

@rpiaggio rpiaggio commented Jun 6, 2025

Copy link
Copy Markdown
Collaborator

This is a quality-of-life improvement to make it easier to debug websocket communication.

image

@mergify mergify Bot added the core label Jun 6, 2025

@cquiroz cquiroz left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

LGTM

@rpiaggio rpiaggio merged commit 439fc49 into main Jun 6, 2025
18 checks passed
@rpiaggio rpiaggio deleted the better-ws-ids branch June 6, 2025 23:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants