On Thu, Jul 23, 2020 at 09:51:48AM +0200, Ludovic Courtès wrote:
> Hi,
> 
> Jakub Kądziołka <kuba@kadziolka.net> skribis:
> 
> > On Wed, Jul 22, 2020 at 12:20:07PM +0200, Ludovic Courtès wrote:
> >> Hi,
> >> 
> >> Jakub Kądziołka <kuba@kadziolka.net> skribis:
> >> 
> >> > On Tue, Jul 21, 2020 at 06:33:05PM +0200, Ludovic Courtès wrote:
> >> 
> >> [...]
> >> 
> >> >> You should now have a gitlab.inria.fr account.  We need to add you to
> >> >> ‘.guix-authorizations’; will you use the same OpenPGP key as in Guix?
> >> >
> >> > Nice! Yeah, I'll use the same key.
> >> 
> >> Done!  You should be able to push now.  Please do install the pre-push
> >> hook as noted in ‘README.md’, and let me know if anything is amiss.
> >
> > Thank you. It seems that I don't have GitLab-level permissions for the
> > repository, though. I tried to find the widget that lets me copy the
> > ssh:// URL for pushing, but couldn't. I did see a "Request access"
> > link, though. I clicked it, so you should see an access request in your
> > notifications soon.
> 
> Oops, my bad.  Access granted now, lemme know how it goes!
> 
> Ludo’.

I think we're making progress:

remote: GitLab: You are not allowed to push code to protected branches on this project.
To ssh://gitlab.inria.fr/guix-hpc/guix-past.git
 ! [remote rejected] master -> master (pre-receive hook declined)
error: failed to push some refs to 'ssh://gitlab.inria.fr/guix-hpc/guix-past.git'

If I'm understanding this correctly, pushing to master requires the
Maintainer permission. Would you like me to open a Merge Request
instead, or would you rather give me the Maintainer permission?

Regards,
Jakub Kądziołka