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

docs: update docs for user deletion #54915

Merged
merged 1 commit into from
Jul 13, 2023

Conversation

kopancek
Copy link
Contributor

Make it clear that deleting a user also removes their repository permissions.

Test plan

N/A: Just a comment change and docs update.

Make it clear that deleting a user also removes their repository
permissions.
@kopancek kopancek requested a review from a team July 13, 2023 10:52
@kopancek kopancek self-assigned this Jul 13, 2023
@cla-bot cla-bot bot added the cla-signed label Jul 13, 2023
@sourcegraph-bot
Copy link
Contributor

Codenotify: Notifying subscribers in CODENOTIFY files for diff 64d09f3...fce8807.

Notify File(s)
@sourcegraph/delivery doc/admin/user_data_deletion.md

@kopancek kopancek merged commit 1ca8aa7 into main Jul 13, 2023
14 checks passed
@kopancek kopancek deleted the milan/user_soft_deletion_docs_update branch July 13, 2023 11:29
@@ -597,6 +597,7 @@ func (u *userStore) Update(ctx context.Context, id int32, update UserUpdate) (er
}

// Delete performs a soft-delete of the user and all resources associated with this user.
// Permissions for soft-deleted users are removed from the user_repo_permissions table via a trigger.
Copy link
Contributor

Choose a reason for hiding this comment

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

Nitpick: I would've added this below line 651 as a separate line.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants