694 priority for small pushes

Shall fix #694.

See the settings.yml for the related settings.