Martin Escardo@MartinEscardo@mathstodon.xyz
@FediTips@social.growyourown.services
This doesn't quite work for my use case, but glad to know this possibility exists. Thanks.
Fedi.Tips@FediTips@social.growyourown.services
@MartinEscardo@mathstodon.xyz
Another option is you can mute people temporarily if you are using the website interface or a third party app that has this option. If it supports it, the mute window will have options for how long the mute lasts.