Ban user

To make an user unable to push new changes, even in branch, you need to move it in a group without right:

 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
17+
18+banned:
19+  branches: []
20+  users:
21+    - pseudo: "user"
22+      avatar: ""
23+      emails:
24+        - ""
25+      ssh:
26+        - ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIICjrWwMnCd32Z10ZMEGT8zslAivtsFh0zj1Iss3C5Kt

Commit your change and push git add . && git commit -m "ban user" && git push. This user will not be able to push anymore.