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!
Right thing. People learn from experiences, and she would know the fact at certain point. For avoiding such situation, it might be good to tell her anonymously for both you and her sake. Embarrassment is a strong emotion to cope with.