ontohub/ontohub — pull request #1006 by eugenk (2014-08-14 11:30:04+00:00)
Title: Fix push but no ontologies2

This fixes pushes not being processed completely. I also tested that the post-receive hook is not run when the pushing user has no write permissions on the repository.