diff --git a/project.config b/project.config index e6ed81ec3..c4298f63e 100644 --- a/project.config +++ b/project.config @@ -10,4 +10,4 @@ label-Code-Review = -2..+2 group Minix devs label-Verified = -1..+1 group Minix devs submit = group Minix devs - rebase = group Administrators + push = group Administrators