[PR #17145] No longer serialize generated IDs #31133

Open
opened 2026-01-31 09:45:19 +00:00 by claunia · 0 comments
Owner

Original Pull Request: https://github.com/microsoft/terminal/pull/17145

State: closed
Merged: Yes


We will no longer serialize IDs that we generated for the user.
This change is being made so that we can release user action IDs at the same time as the features that require them!

Validation: Generated IDs do not get written to the json, user-made IDs still do

Closes #17109

**Original Pull Request:** https://github.com/microsoft/terminal/pull/17145 **State:** closed **Merged:** Yes --- We will no longer serialize IDs that we generated for the user. This change is being made so that we can release user action IDs at the same time as the features that require them! Validation: Generated IDs do not get written to the json, user-made IDs still do Closes #17109
claunia added the pull-request label 2026-01-31 09:45:19 +00:00
Sign in to join this conversation.
No Label pull-request
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#31133