GitRoot

 1<!--
 2SPDX-FileCopyrightText: 2025 Romain Maneschi <romain@gitroot.dev>
 3
 4SPDX-License-Identifier: CC-BY-SA-4.0
 5-->
 6
 7# Ban user
 8
 9To make an user unable to push new changes, even in branch, you need to move it in a group without right:
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+banned:
30+  branches: []
31+  users:
32+    - pseudo: "user"
33+      avatar: ""
34+      emails:
35+        - ""
36+      ssh:
37+        - ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIICjrWwMnCd32Z10ZMEGT8zslAivtsFh0zj1Iss3C5Kt
38```
39
40Commit your change and push `git add . && git commit -m "ban user" && git push`. This `user` will not be able to push anymore.