Hey @sebastien! There isn't a way to do that at the moment, and I've taken a note of your feedback. There's a couple of things you could consider..
How well these work will depend on whether you're just using push notifications for conversation replies, or whether you're sending outbound push messages as well.
If you handle the push notifications manually, you can decide whether they should be shown to your customers or not. Push notifications docs for that are here for Android and here for iOS. For example, for Android, you could use something like this to stop push notifications being shown:
if (intercomPushClient.isIntercomPush(message)) {
if (shouldShowIntercomPush) { intercomPushClient.handlePush(getApplication(), message);}
} else {
//DO HOST LOGIC HERE
}
Another option, which is more relevant for outbound push messages (ie. it won't affect notifications for conversation replies), would be to set a custom attribute on the user in Intercom (eg. push_opted_out) and use that as a filter in your audience rules for outbound push messages. This is less elegant, as it'll require you to remember to use the filter every time.
The third option, which you've already suggested isn't practical for your use case, would be to log the user out of Intercom. I understand why that doesn't work for the use case you're describing, though.
Hope that helps, and thank you for the feedback! Let me know if you have any follow up questions.