Open oliveriantonino opened 7 months ago
This might be out of scope for whecho, but if you know the user's userid
on discord you can tag them through whecho with that.
whecho "hello <@474057022451744769>"
sources: Reddit discussion acquiring your userid
It would be nice to be able to tag an user through whecho