release notes: use git rebase to compactify history

ce071508 · Wuttke, Joachim · 34964e9f · ce071508
Commit ce071508 authored 9 years ago by Wuttke, Joachim
--- a/distrib/core/HOWTO
+++ b/distrib/core/HOWTO
@@ -4,6 +4,7 @@ cd /G/f2
 git checkout master
 git pull origin master
 git merge devel
+git rebase -i HEAD~99 # correct commit messages; merge correction commits
 git push origin master

 ### prepare