A question about "massive" changes in the repository

[Jeremy Lavergne]

>> - I've done a bunch of commits to individual ports already. Is that
>> history worth keeping (by merging changes from my personal branch) or
>> is it better to simply copy the final change (a simple copy, not
>> included any svn trickery) and document all changes in that commit? I
>> assume it should be the latter.
> 
> No, please, do the merge. You should still write a summary of your changes in the merge commit, but maintain the connection to your branch history.

You can also update your commit message afterwards.