Re: Pushing to nofib

Simon Peyton Jones via ghc-devs writes:

How can I push to the nofib repository? I get this:

What does git remote -v say when run in the nofib/ directory? Cheers, - Ben