With deltachat automatically also generating notifications for classic emails, if a “push” email app is installed, it would just be a logic and intuitive “mute the email app”.
With the defaults as in Use-cases, chat rules and configuration options - #22, I think there’s nothing to configure or document here. (As it should be.)