I appreciate the offers people are making.
If we move from sourceforge, I want it to be to an organization that is bigger than any single person/project and that I won't have to worry about for at least another 4-5 years. Bitkeeper fills the bill, as does LANL.
Anyway let's give sourceforge another few days to get better and then we'll see.
But it is being a very bad week for sourceforge, that's for sure.