Code

git-notify: Don't generate duplicate notifications