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!
Already in place in Morris County, NJ.
And BTW, there's more to it than merely "not using it or else." Kids subscribe to RSS feeds, have alarms, event-tones and other nonsense that isn't caller-to-caller. Whether legal or not I'm not arguing, whether helpful or not I can't say, but I can see the schools' side of the argument and think thousands of kids are not going to suddenly (remember to) shut off their phones before starting a school day.