ontohub/ontohub — pull request #1068 by 0robustus1 (2014-10-06 09:22:00+00:00)
Title: 694 priority for small pushes

Shall fix #694.

See the settings.yml for the related settings.