> We are in basic agreement. I'm not really a "developer" - I just host
> some relatively simple projects on Github. I agree that a deeper use of
> something like Github is something I'd have to carefully consider.
BTW, for those who don't want to run their own server, there are still
other reasons to avoid Github: my rule is to try and opt for the
underdog so as to foster competition.
Stefan