[Savannah-users] Give people ability to manipulate bugs but not push to our repo

[Jordi Gutiérrez Hermoso]

I don't understand how permissions to push to our repo are managed. I
want to give people permission to manipulate bug reports but not
permission to push to our repo? Is this currently possible?

TIA,
- Jordi G. H.