Re: notes TODOs

Jakub Narebski <jnareb@gmail.com> writes:

I suspect "copy" to keep the old one than "move" would be a lot more sensible, especially when you are talking about people (like me) who amend often. They cannot get it right in their first try by definition ;-), and their very original edition is sometimes easier to start from than their second edition, when they are trying to come up with the final edition of the commit. Using "move" to lose the notes from the old object will make it harder to go back to the original and start amending from there.