694 priority for small pushes

Shall fix #694.

See the settings.yml for the related settings.
Style/SpaceAroundOperators: Surrounding space missing for operator '+'.