Should we start to use gitlab?
I mean first as a backup. As @fosterlynn mentioned yesterday, a lot of our work is contained in issue conversations. Probably more right now than is consolidated in the rest of the repos.
Github comes and goes these days. (So will gitlab, but maybe not at the same times.) But we also should have some other backups, especially of the issues.
So, back to gitlab, has anybody used it? Especially, has anybody tried importing a repo from github? https://docs.gitlab.com/ce/workflow/importing/import_projects_from_github.html