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