---------- Forwarded message ----------
From: "Dr. ERDI Gergo" <gergo@erdi.hu>
Date: Jan 13, 2014 8:12 PM
Subject: Re: Pattern synonyms for 7.8?
To: <austin@well-typed.com>
Cc: "Gabor Greif" <ggreif@gmail.com>

(removing Mateusz and ghc-devs from the recipient list)

Hi,

On Mon, 13 Jan 2014, Gabor Greif wrote:

>From what I understood, you *should* have all permissions to push to
wip/ branches. If not, please contact the admins. (IIRC Austin did
this previously).

OK, I think this was the missing information that got me confused.

What repo are we talking about? I tried the mirror on GitHub (git@github.com:ghc/ghc.git) but that one doesn't seem to work:
ERROR: Permission to ghc/ghc.git denied to gergoerdi.
fatal: Could not read from remote repository.

I also tried the Haskell.org repo of ssh://git@git.haskell.org/ghc, but that doesn't work either (which is unsurprising since I don't remember ever sending my SSH public key to haskell.org):

20:10:02 [cactus@galaxy ghc]$ git push -u origin wip/pattern-synonyms
Permission denied (publickey).

Please advise.

Thanks,
        Gergo


--

  .--= ULLA! =-----------------.
   \     http://gergo.erdi.hu   \
    `---= gergo@erdi.hu =-------'
Ki volt Casper, mielôtt meghalt?