On Sat, Sep 10, 2016 at 05:44:00PM +0200, Jehan wrote:

>> Jehan, This sounds great! My github login is also "gi1242". (Same on
>> gitlab if you change your mind.)
> 
> Added.

Great thanks! I have push access now.

> As for github vs gitlab, maybe gitlab is actually better in line for a
> Free Software. Now that the repo is created, it's just super-easy to
> move it here or there, but we may as well do this now rather than
> changing every few years. Does anyone have a strong preference for
> gitlab over github? (or the opposite)

It really makes no difference to me. I never use the web interface, and
do everything from the git client. So changing the remote URL to gitlab
or github makes no difference to me. (I usually also push to my own
public git server, just in case something evil happens to one of the
free services.)

Since you did the work, just go with whatever you prefer and I will
follow.

GI

-- 
'Blamestorming' -- Sitting around in a group discussing why a deadline
was missed or a project failed and who was responsible.

------------------------------------------------------------------------------
_______________________________________________
Materm-devel mailing list
Materm-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/materm-devel
mrxvt home page: http://materm.sourceforge.net

Reply via email to