Hi
When you merge github PRs then its important to merge and rebuild on
top afterwards so we have a straight git tree.
So after you have done the merge, then you SHOULD run
git pull --rebase
Then it replay the merge on top of latest master. And if there is any
conflicts you need to fix them, so we can merge any PR cleanly on
latest master.
Otherwise we end up with a more complex git tree that makes it harder
to maintain and also backport bug fixes to older branches.
Also refrain from backporting trivil javadoc changes and others to
older branches. The older branches are intended to be "quiet" and for
bug fixes and minor needed improvements only. The less changes we have
one these the better for the end users as they are are for patch
releases for production users.
--
Claus Ibsen
-----------------
http://davsclaus.com @davsclaus
Camel in Action 2: https://www.manning.com/ibsen2
