Merge Commits?

[Pascal Schumacher]

Hi,

recently there were several merge commits (especially for merged pull
request).

I thought the consensus was to avoid merge commits to keep the git
history as clean as possible.

Should we keep this policy?

What do you think?

Cheers,

Pascal