
27 Sep
2022
27 Sep
'22
3:49 a.m.
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$