<html><head><style id="css_styles" type="text/css"><!--blockquote.cite { margin-left: 5px; margin-right: 0px; padding-left: 10px; padding-right:0px; border-left: 1px solid #cccccc }
blockquote.cite2 {margin-left: 5px; margin-right: 0px; padding-left: 10px; padding-right:0px; border-left: 1px solid #cccccc; margin-top: 3px; padding-top: 0px; }
a img { border: 0px; }
li[style='text-align: center;'], li[style='text-align: right;'] { list-style-position: inside;}
body { font-family: Segoe UI; font-size: 12pt; }--></style></head><body><div>Hi Simon,</div><div><br /></div><div>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.</div><div>Fortunately, the quality requirements for NoFib aren't high and it's likely your MR can be merged instantly.</div><div><br /></div><div>Cheers,<br />Sebastian</div>
<div><br /></div>
<div>------ Originalnachricht ------</div>
<div>Von: "Simon Peyton Jones" <<a href="mailto:simon.peytonjones@gmail.com">simon.peytonjones@gmail.com</a>></div>
<div>An: "GHC developers" <<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a>></div>
<div>Gesendet: 27.09.2022 09:49:53</div>
<div>Betreff: Pushing to nofib</div><div><br /></div>
<div id="xc1db980a8dc8472"><blockquote cite="CAJKmMz9ANuijyZf2pBuxH2T8Pwz_7EBYmqMH53Eth+DV4Z16rg@mail.gmail.com" type="cite" class="cite2">
<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 '<a href="mailto:git@gitlab.haskell.org">git@gitlab.haskell.org</a>:ghc/nofib.git'<br />simonpj@LHR-WD-22561:~/code/HEAD-1/nofib$ </div></div>
</blockquote></div>
</body></html>