Infrastructure:

Technical:

Until a full migration takes place, sourceforge-hosted projects will be built using a source snapshot of early May. This is going to lead to problems the longer the migration is put off.

Other: