This is for #130
Add a changelog file to record major changes
Isn't it enough to just run git log --first-parent [--decorate]? At least for recent versions, I've tried to avoid making any commits directly to master, so this command's output should show only merged pull requests.
git log --first-parent [--decorate]
IMHO a changelog file should contain only the changes/features which are important that should be brought to the attention of a user. Just the git log is already present in git history. Since 0.10.4 the only two user visible changes are present in the current file. Actually, dima's patch should also count since it changes the security.
Some of the other changes like .sagenb fix, openid, removing old notebook are not really important. They are mostly bugfixes and cleanups. I think they should be left out of the changelog file since they tend to clutter up the file in the long term.
For reference, I like the changelog file of urxvt [ http://cvs.schmorp.de/rxvt-unicode/Changes ]. It is quite compact and contains the main highlights. It also contains bugfixes, which I am not so keen on including.
OK, sure, why not. :)