-
Notifications
You must be signed in to change notification settings - Fork 289
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Update user_id
to reserved in UserPluginPreferences
#2898
Conversation
user_id
from UserPluginPreferences user_id
to reserved from UserPluginPreferences
user_id
to reserved from UserPluginPreferences user_id
to reserved in UserPluginPreferences
@@ -59,8 +59,7 @@ message OrganizationUser { | |||
// These preferences are stored in the database so the language and plugins | |||
// are pre-selected when the user navigates back to the Generated SDKs page from any device or browser. | |||
message UserPluginPreference { | |||
// The id of the user. | |||
string user_id = 1; | |||
reserved 1; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We should probably be consistent and reserve both field number and name. E.g.,
buf/proto/buf/alpha/registry/v1alpha1/organization.proto
Lines 234 to 235 in 0b24de2
reserved 2, 3; | |
reserved "plugin_base_role", "template_base_role"; |
buf/proto/buf/alpha/registry/v1alpha1/module.proto
Lines 33 to 34 in 0b24de2
reserved 3, 5, 7, 8; | |
reserved "branch", "create_time", "digest", "draft_name"; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
got it, updated in the latest commit.
Update
user_id
fromUserPluginPreferences
message andGetUserPluginPreferencesRequest
message. We can infer the user id from the cookie so cleaning up our request payload and response.