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

2017-10-10 Thread Thomas Adam
On Tue, Oct 10, 2017 at 07:40:12PM +0100, Thomas Adam wrote: > I haven't done any analysis of other areas of the repo though. The modules/* directory comes out as: 80% changed, versus 20% original (so about a fifth overall still untouched). A lot of this will be man pages, and boilerplate

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

2017-10-10 Thread Thomas Adam
On Mon, Oct 09, 2017 at 08:07:56PM +0100, Thomas Adam wrote: > So we could go down this route---indeed, I see nothing wrong with the analysis > at any rate. So back of the envelope calculation, just limited to $git_repo/fvwm/*, I calculate the following: $ for i in *; do; c="$(git --no-pager

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

2017-10-09 Thread Thomas Adam
On Sat, Jun 10, 2017 at 08:58:30PM +0100, Dominik Vogt wrote: > On Sat, Jun 10, 2017 at 07:41:24PM +0100, Thomas Adam wrote: > > On Wed, Apr 12, 2017 at 08:47:15PM +0100, Dominik Vogt wrote: > > > I don't see how this is fixable without either removing all of > > > Rob's code or changing Github's

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

2017-06-13 Thread Jason L Tibbitts III
> "TA" == Thomas Adam writes: TA> Gitlab might be an option, but that would require me to set the TA> infrastructure up there again -- something I'm not willing to do at TA> all. Frankly, we lose more than we gain. I guess it depends on what you want; there are plenty of

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

2017-06-10 Thread Dominik Vogt
On Sat, Jun 10, 2017 at 07:41:24PM +0100, Thomas Adam wrote: > On Wed, Apr 12, 2017 at 08:47:15PM +0100, Dominik Vogt wrote: > > I don't see how this is fixable without either removing all of > > Rob's code or changing Github's terms and conditions. I see no > > problems between D.4 and D.5 and

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

2017-06-10 Thread Thomas Adam
On Wed, Apr 12, 2017 at 08:47:15PM +0100, Dominik Vogt wrote: > I don't see how this is fixable without either removing all of > Rob's code or changing Github's terms and conditions. I see no > problems between D.4 and D.5 and the GPL though. Gitlab might be an option, but that would require me

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

2017-04-12 Thread Dominik Vogt
On Wed, Apr 12, 2017 at 09:24:45AM +0100, Thomas Adam wrote: > On Wed, Apr 12, 2017 at 09:48:30AM +0200, Christoph Fritz wrote: > > 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:

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

2017-04-12 Thread Thomas Adam
On Wed, Apr 12, 2017 at 09:48:30AM +0200, Christoph Fritz wrote: > 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 > >

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

2017-04-12 Thread Christoph Fritz
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