devhub-tud/devhub — pull request #69 by JWGmeligMeyling (2014-12-20 22:00:17+00:00)
Title: Request build for a commit #46

This PR adds a button to the commit header drop down menu which allows users to request a commit to be built.
This requires https://github.com/devhub-tud/build-server/pull/12 on the BuildServer.