CommentAug 26, 2018You can use branch automerge instead of PR automerge for internal dependencies like that, and skip the notifications. Alternatively use Octobox.io for better notification filtering than GitHub's native interface.Do you use a bot to manage your project's dependencies?