the post-commit hook for the subversion repository