project.config: remove may-push group

It was intended to be safe, but granted a fair few permissions that are at least a little iffy like tagging, and it's very rarely used. Remove it; I'll configure golang-gob-branchers for the relatively common case of creating a branch once the ganpati group finishes being created.

Change-Id: I403b3b6e9ab921346fd87fedf25a453a15ef690f
Reviewed-on: https://go-review.googlesource.com/c/All-Projects/+/456915
Reviewed-by: Dmitri Shuralyov <dmitshur@google.com>
2 files changed
tree: f47b73939d8103470d369d10d9083676d93a694b
  1. groups
  2. project.config