Ghost ping is slang for a mention or notification that seems to vanish, fail to alert, or not appear as expected. It is not a Reddit feature name, just a descriptive phrase users use when a notification is missing or unclear.
Glossary term
ghost ping
An informal phrase for a missed or invisible notification.