Hello,

I finally have my savannah account recovered after forgetting about it
for a year[0]. Can I have push right for trivial commits (e.g. version
bumps)? Do I need to give my GPG key?

[0]: https://savannah.gnu.org/support/?109377