Yes, there is an ignore function but I’ve forgotten how to access/use it…
which is daft cos I wrote a post on it a while back.
EDIT: https://meta.discourse.org/t/ability-to-ignore-a-user/110254
From your user preferences
click on your avatar – top right
then your name --top left
then scroll to preferences
then chose Users and add to Ignore .
You cant ignore anyone permanently, which is not a bad idea IMHO cos folk can change.