Skip to content

feat: Add SSH Keys page on /preferences/ssh-keys #1478

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

Merged
merged 2 commits into from
May 16, 2022

Conversation

BrunoQuaresma
Copy link
Collaborator

Closes #752 and #749

@BrunoQuaresma BrunoQuaresma self-assigned this May 16, 2022
@BrunoQuaresma BrunoQuaresma requested review from presleyp and a team as code owners May 16, 2022 16:16
Copy link
Member

@kylecarbs kylecarbs left a comment

Choose a reason for hiding this comment

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

I think renaming preferences to settings would be helpful. That's the name we'll use in workspaces, so it's better to stay consistent!

Comment on lines +46 to +49
| { type: "GET_SSH_KEY" }
| { type: "REGENERATE_SSH_KEY" }
| { type: "CONFIRM_REGENERATE_SSH_KEY" }
| { type: "CANCEL_REGENERATE_SSH_KEY" }
Copy link
Member

Choose a reason for hiding this comment

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

Should we rename this UserEvent instead? Seems like it's more accurate.

@BrunoQuaresma
Copy link
Collaborator Author

@kylecarbs Right now the page is called "Preferences" so I think makes more sense to keep using "preferences" than "settings". Settings is something more related to an "account" than a "user" thing, makes sense? And about the event type being UserEvent makes sense but I would like to keep using the implicit convention we are using to name the event as {ServiceName}Event. I have no strong opinion tho. Please let me know what you think so I can make or not the changes.

@kylecarbs
Copy link
Member

GitHub and GitLab both use the term settings, which is my primary reason for preferring that. Just because it's already called preferences doesn't necessarily mean it's right! It's an easy enough change, so if we feel it's clearer to the user, we should make it.

@BrunoQuaresma
Copy link
Collaborator Author

Hm.. interesting. Working on it!

@BrunoQuaresma BrunoQuaresma merged commit abbe548 into main May 16, 2022
@BrunoQuaresma BrunoQuaresma deleted the bq/752/add-ssh-keys branch May 16, 2022 17:15
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.

User SSH Keys preferences section
2 participants