[rockybernstein]

Of course I am partial to savannah gnu and nongnu for its philosophy. However over the years there have been too many outages that made me switch one my projects from savannah to github.

Since beggars shouldn't be too picky, I don't fault savannah: it is seriously understaffed by volunteers. But still I switched to github (for some things) mostly from a pragmatic point of view. And to reduce my frustration level during the outages.