devhub-tud/devhub — pull request #8 by michaeldejong (2014-04-09 14:29:08+00:00)
Title: Ensure only new commits are submitted as builds

When new pushes are specified through the hook interface, we should only build commits which have not yet been built.