Merge branch 'fix_push_but_no_ontologies2' into develop.ontohub.org

Conflicts:
	git/hooks/post-receive
	git/lib/git_update.rb