Delete a user

To delete a user you need to remove him from .gitroot/users.yml in your defaultBranch.

 1owner:
 2  branches:
 3    - name: main
 4  users:
 5    - pseudo: GitRoot
 6      avatar: ""
 7      emails:
 8        - GitRoot@gitroot.com
 9      ssh:
10        - ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIEnkDo30AcFQ5A0I1MgWXbJiYG26es5SHOX+lZlIUD9U
11-    - pseudo: user
12-      avatar: ""
13-      emails:
14-        - user@gitroot.com
15-      ssh:
16-        - ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIICjrWwMnCd32Z10ZMEGT8zslAivtsFh0zj1Iss3C5Kt

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

But user will be able to make a new branch. If you want to ban it see ban an user.