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"
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$