Do you develop on GitHub? You can keep using GitHub but automatically sync your GitHub releases to SourceForge quickly and easily with this tool so your projects have a backup location, and get your project in front of SourceForge's nearly 20 million monthly users. It takes less than a minute. Get new users downloading your project releases today!
I agree with the point about not wanting to add another point of failure in a device where failure could mean life or death but the army analogy doesn't really hold up because they could just program it so all their own troops could fire all army guns.