Re: [RFE] Migration to gitlab

[Eli Zaretskii]

> From: Richard Stallman <address@hidden>
> Cc: address@hidden, address@hidden, address@hidden,
>       address@hidden, address@hidden,
>       address@hidden, address@hidden
> Date: Fri, 22 Mar 2019 22:33:56 -0400
> 
> We should not have code in our repository whose copyright has not been
> assigned.  So we need to be careful about who can put code into it,
> even if it is in a "personal" branch.

I don't think we have "personal branches" in our repository.  All the
branches there are public branches, and their legal status is the same
as of any other branch, including the master branch.

Or maybe I don't understand what you meant by "a personal branch".