Hi,
I succeeded in pushing my commit, at last.
Thank you Pat, Alex and Marco for your help.
Julien
___
gimp-docs-list mailing list
gimp-docs-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gimp-docs-list
On Mon, May 28, 2018 at 09:18:13PM +0200, Julien Hardelin wrote:
> I can now sign in gitlab.
>
> But still I can't push.
>
> In .git/config, I changed the url for url =
> ssh://g...@gitlab.gnome.org:GNOME/gimp-help-2.git
try:
url = g...@gitlab.gnome.org:GNOME/gimp-help-2.git
w
I can now sign in gitlab.
But still I can't push.
In .git/config, I changed the url for url =
ssh://g...@gitlab.gnome.org:GNOME/gimp-help-2.git
but when git push I get the error :
~/gimp-help-2> git push
ssh: Could not resolve hostname gitlab.gnome.org:GNOME: Name or service
not known
fatal:
On Mon, May 28, 2018 at 4:10 PM, Julien Hardelin wrote:
>
>> https://gitlab.gnome.org/profile/keys, when you are logged in.
>
> That's my problem. With git I used "jhardlin" as user name. But it is not
> recognized by gitlab (Invalid credentials for jhardlin).
> Unless LDAP Username is something el
https://gitlab.gnome.org/profile/keys, when you are logged in.
That's my problem. With git I used "jhardlin" as user name. But it is
not recognized by gitlab (Invalid credentials for jhardlin).
Unless LDAP Username is something else?
But since you registered a new account rather than updati
On Mon, May 28, 2018 at 9:17 AM, Julien Hardelin wrote:
> Hi,
>
> My main problem is that the user id I used with git is not recognized by
> gitlab: I can't sign in nor push.
>
> So, I am trying, on another platform, to create a new gitlab account. I
> generated the ssh key, and now, I came to step