Run ./tools/git-changelog to update ChangeLog