694 priority for small pushes

Shall fix #694.

See the settings.yml for the related settings.
Style/EmptyLines: Extra blank line detected.