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"
An: "GHC developers"
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
'g...@gitlab.haskell.org:ghc/nofib.git'
simonpj@LHR-WD-22561:~/code/HEAD-1/nofib$___
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
