@mmn I wasn't using gitorious (well, except for keeping a mirror of the GDB repository) before because, despite being AGPL, I don't like how those "git companies" centralize things (i.e., I wouldn't be *much* happier if everybody migrated from github to gitorious, for example). But now, I confess I won't even migrate the GDB mirror to gitlab. Oh, well...