Pushing to nofib

[Sebastian Graf]

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 at gmail.com>
An: "GHC developers" <ghc-devs at 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 at gitlab.haskell.org:ghc/nofib.git'
>simonpj at LHR-WD-22561:~/code/HEAD-1/nofib$
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20220927/bd476d73/attachment.html>