Small changes in Redmine post_receive hook