A user edited one of my posts. It was actually a good edit but was rejected by three people who didn't have experience in the tag.
I would like to ping the user who made the edit. However, am I correct in my understanding that this is not possible?
A user edited one of my posts. It was actually a good edit but was rejected by three people who didn't have experience in the tag.
I would like to ping the user who made the edit. However, am I correct in my understanding that this is not possible?
Only editors who have succeeded in editing the post, can be contacted with an @reply. As @Gimby observes in their comment, this is specified in the post you link (emphasis mine):
Any user who has edited the post (does not include pending or rejected edit suggestions).
The only option is to comment on one of the editor's own posts, if they have one. If they don't have any posts, and don't have posts on other SE sites.. you're out of luck.
It might make a good feature-request though. Sometimes you want to discuss things with the author of a rejected edit.