Bertram {l Wrote}:The remaining question is whether we should keep the history for the mediaSource/ part.
I think not but the decision should rather be yours, IMO.
It's true that keeping history is not necessarily relevant for the mediaSource part. As you said, it will make the repository bigger (especially since media source file are most likely heavy).
Generally speaking it's good to keep history, but it's mostly useful for source code, so that you can browse back to a previous state and understand how things were coded/find back deprecated code bits that you want to reintroduce and rework, etc. But for art assets, I don't know how relevant it is to artists, and if it would be used at all.
And as long as the Sourceforge SVN repository will be up, it will still be able to browse through the history if need be.
So as you said, it would be the artist's call as to whether the history should be kept in the github repo, or if it should be started anew (with proper credits about the various assets of course).