Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
Yes, it is definitely a bug. It will be fixed so that it is handled more gracefully in the next release. Just to clarify though, the bug is only cosmetic as it fills up the logs. You are not actually loosing data that wouldn't be expected in this...