How do I push stuff to gitlab?

[Hal Murray]

esr at thyrsus.com said:
> You gave GitLab an ssh public key; git uses your ssh private key.  This
> allows you to be authenticated to GitLab.  You're a member of the NTPsec
> project with the role "Developer", so you can push to any unprotected
> branch. The repository is not world-writable. 

That would make sense if GitLab knew who I was.  Why am I me as compared to 
you or somebody who doesn't even have an account?

How does it translate my local login name to a GitLab name?  A brute force 
search of everybody with write access seems like a bad idea if there might be 
a large project and I'm sure somebody will come up with one.

The public key has a user at host at the end.  I don't know if the private key 
has something similar.  Mine is encrypted.  Assuming that gets to the wire, 
then a hash table lookup would do it.


-- 
These are my opinions.  I hate spam.