[aur-dev] [PATCH] git-update: Avoid duplicate notifications