How do I push stuff to gitlab?

Hal Murray hmurray at
Wed Nov 18 23:51:56 UTC 2015

> That looks correct. It marches what I have.

> I would do these steps:
> 1. Try the push again in case it's a transient error.  If that fails: 

Worked this time.

I'd still like to understand what's going on.  How does it know who I am?  Is 
that repo world writable?

These are my opinions.  I hate spam.

More information about the devel mailing list