update revision d267494364bab773367828052e6059683b070688
#
# This file was placed here by Ontohub.
# It makes sure that your pushed commits will be processed properly.
#
require 'git_update'
repo_path = `pwd`
GitUpdate.new(repo_path, key_id, refs).exec