GitRoot

 1<!--
 2SPDX-FileCopyrightText: 2025 Romain Maneschi <romain@gitroot.dev>
 3
 4SPDX-License-Identifier: CC-BY-SA-4.0
 5-->
 6
 7# Delete a user
 8
 9To delete a user you need to remove him from `.gitroot/users.yml` in your defaultBranch.
10
11```diff
12owner:
13  branches:
14    - name: main
15  users:
16    - pseudo: GitRoot
17      avatar: ""
18      emails:
19        - GitRoot@gitroot.com
20      ssh:
21        - ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIEnkDo30AcFQ5A0I1MgWXbJiYG26es5SHOX+lZlIUD9U
22-    - pseudo: user
23-      avatar: ""
24-      emails:
25-        - user@gitroot.com
26-      ssh:
27-        - ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIICjrWwMnCd32Z10ZMEGT8zslAivtsFh0zj1Iss3C5Kt
28```
29
30Commit your change and push `git add . && git commit -m "delete user" && git push`. Then next time `user` will push change to the `main` branch GitRoot will not accept their changes.
31
32But `user` will be able to make a new branch. If you want to ban it see [ban an user](./ban_user.md).