<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">Friends</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">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?</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Thanks</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Simon<br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">bash$ git push<br>Enumerating objects: 5, done.<br>Counting objects: 100% (5/5), done.<br>Delta compression using up to 24 threads<br>Compressing objects: 100% (3/3), done.<br>Writing objects: 100% (3/3), 543 bytes | 543.00 KiB/s, done.<br>Total 3 (delta 2), reused 0 (delta 0)<br>remote: GitLab: You are not allowed to push code to protected branches on this project.<br>To gitlab.haskell.org:ghc/nofib.git<br> ! [remote rejected] master -> master (pre-receive hook declined)<br>error: failed to push some refs to 'git@gitlab.haskell.org:ghc/nofib.git'<br>simonpj@LHR-WD-22561:~/code/HEAD-1/nofib$ </div></div>