Just wanted to raise some discussion. Is it possible that we could transition our releases to Github.
I think it makes sense to consolidate releases here both for convenience and other reasons. But then again there might be some reasons for continuing to use sourceforge that I might not be aware of.