Fwd: Re: Pattern synonyms for 7.8?

[Dr. ÉRDI Gergő]

Hi,

How do I get permissions to push to my wip branch?

Thanks,
Gergo
---------- Forwarded message ----------
From: "Dr. ERDI Gergo" <gergo at erdi.hu>
Date: Jan 13, 2014 8:12 PM
Subject: Re: Pattern synonyms for 7.8?
To: <austin at well-typed.com>
Cc: "Gabor Greif" <ggreif at 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 at 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 at galaxy ghc]$ git push -u origin wip/pattern-synonyms
Permission denied (publickey).

Please advise.

Thanks,
        Gergo


-- 

  .--= ULLA! =-----------------.
   \     http://gergo.erdi.hu   \
    `---= gergo at erdi.hu =-------'
Ki volt Casper, mielôtt meghalt?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20140114/a8108fd9/attachment-0001.html>