A git post-merge hook for command suggestion through commit messages of other developers