ontohub/ontohub — pull request #375 by 0robustus1 (2013-11-05 13:41:18+00:00)
Title: display head commit in production too

this is needed for it to work on develop.ontohub.org.