e guidance on
> https://gitlab.haskell.org/ghc/ghc/wikis/building/getting-the-sources
>
> to give the git url? Or does that /require/ ssh and hence exclude some
> folk?
>
> Simon
>
> | -Original Message-
> | From: Matthew Pickering
> | Sen
uld change the guidance on
https://gitlab.haskell.org/ghc/ghc/wikis/building/getting-the-sources
to give the git url? Or does that /require/ ssh and hence exclude some folk?
Simon
| -Original Message-
| From: Matthew Pickering
| Sent: 03 June 2019 15:08
| To: Simon Peyton Jones
| Subject: R
Hey Simon,
you mention SSH keys, but in your quoted config I can see HTTPS, not SSH:
> [remote "origin"]
> url = https://gitlab.haskell.org/ghc/ghc
Should this perhaps be
url = g...@gitlab.haskell.org:ghc/ghc.git
instead?
> So I tried ssh -v gitlab.haskell.org
You need to include the
Devs
Suddenly I can't push to (a non-master branch on) gitlab.haskell.org.
In .git/config I have
[remote "origin"]
url = https://gitlab.haskell.org/ghc/ghc
fetch = +refs/heads/*:refs/remotes/origin/*
[branch "master"]
remote = origin
merge = refs/heads/master
An attempt to push leads
