On Tue, Aug 9, 2016 at 12:20 AM, Michael Haggerty <mhag...@alum.mit.edu> wrote:
> On 08/04/2016 05:58 PM, Johannes Schindelin wrote:
>> Even requiring every contributor to register with GitHub would be too much
>> of a limitation, I would wager.
> Is it *really* so insane to consider moving collaboration on the Git
> project to GitHub or some other similar platform?
In the very unlikely event that github is shut down, how do we get all
review comments out of it, assuming that we will use pull requests for
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html