Hi Simon,

Similar to the policy for the main GHC repo, you have to push to a wip/ branch (or your personal fork) and then open a MR against the NoFib repo.
Fortunately, the quality requirements for NoFib aren't high and it's likely your MR can be merged instantly.

Cheers,
Sebastian

------ Originalnachricht ------
Von: "Simon Peyton Jones" <simon.peytonjones@gmail.com>
An: "GHC developers" <ghc-devs@haskell.org>
Gesendet: 27.09.2022 09:49:53
Betreff: Pushing to nofib

Friends

How do I push to the nofib/ repository?  I just wanted to add some documentation. I'm on branch 'master' and tried to push.  Got this below.  What next?

Thanks

Simon

bash$ git push
Enumerating objects: 5, done.
Counting objects: 100% (5/5), done.
Delta compression using up to 24 threads
Compressing objects: 100% (3/3), done.
Writing objects: 100% (3/3), 543 bytes | 543.00 KiB/s, done.
Total 3 (delta 2), reused 0 (delta 0)
remote: GitLab: You are not allowed to push code to protected branches on this project.
To gitlab.haskell.org:ghc/nofib.git
 ! [remote rejected] master -> master (pre-receive hook declined)
error: failed to push some refs to 'git@gitlab.haskell.org:ghc/nofib.git'
simonpj@LHR-WD-22561:~/code/HEAD-1/nofib$