Hi Chris and everybody, Having observer github for a while, I think that the great advantage of it is the process it creates around git. It makes easy to track patches via a code review mechanism created around pull requests.
In theory there is no need to move the "blessed" repo to github, just create a fork there that we all use for development. Chris, you could even add some of us (as required) as committers to this repo. Once code is approved we can push it into tuxfamily. Of course tuxfamily would not be required. So in conclusion, I vote for github. --dmg On Sun, Mar 24, 2013 at 7:10 PM, Christopher Roy Bratusek <[email protected]> wrote: > Hi all, > > some people said, they would prefer GitHub over Tuxfamily. > > What do you think about it? Since GitHub does not provide mailing-list > facilities, we wouldn't completely leave Tuxfamily. > > Regards, > Chris -- --dmg --- Daniel M. German http://turingmachine.org -- Sawfish ML
