Github user aledsage commented on the issue:
https://github.com/apache/brooklyn-server/pull/878
LGTM; merging this, then #879, then #890.
@ahgittin I think we'll agree to disagree about the use of merge commits in
private branches that have not yet been merged to the public repo(s), versus
the use of rebase so that each PR has a clear list of commits only for the
changes in that PR.---
