Skip to content
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

Merged
merged 4 commits into from
Apr 18, 2024
Merged

Conversation

gilwong00
Copy link
Contributor

@gilwong00 gilwong00 commented Apr 16, 2024

Update user_id from UserPluginPreferences message and GetUserPluginPreferencesRequest message. We can infer the user id from the cookie so cleaning up our request payload and response.

@gilwong00 gilwong00 requested a review from bufdev as a code owner April 16, 2024 17:06
@gilwong00 gilwong00 changed the title Remove user_id from UserPluginPreferences Update user_id to reserved from UserPluginPreferences Apr 16, 2024
@gilwong00 gilwong00 requested a review from bufdev April 16, 2024 18:21
@gilwong00 gilwong00 changed the title Update user_id to reserved from UserPluginPreferences Update user_id to reserved in UserPluginPreferences Apr 16, 2024
@@ -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;
Copy link
Member

@mfridman mfridman Apr 16, 2024

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.,

reserved 2, 3;
reserved "plugin_base_role", "template_base_role";

reserved 3, 5, 7, 8;
reserved "branch", "create_time", "digest", "draft_name";

Copy link
Contributor Author

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.

@gilwong00 gilwong00 requested a review from mfridman April 16, 2024 21:47
@gilwong00 gilwong00 merged commit 1607d07 into main Apr 18, 2024
11 checks passed
@gilwong00 gilwong00 deleted the gwong/GRW-1538 branch April 18, 2024 17:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants