Re: Stopping to use Github / Don't push to Github(!!)

On Thu, 2017-03-09 at 13:55 +0100, Dominik Vogt wrote:
> There is a discussion about Github's new terms of service which may
> not be compatible with the Gpl:
> https://www.mirbsd.org/permalinks/wlog-10_e20170301-tg.htm
> 
> I didn't have time to read the new terms yet, but it is possible
> that we need to remove all fvwm repositories from Github.  The
> most important thing right now is to *not* *push* *anything* to
> Github until we've decided about this issue, because by continuing
> to use Github, the new terms of service are automatically accepted.

out of curiosity: Are there any updates on this?