Skip to main content
7 events
when toggle format what by license comment
Jan 11, 2022 at 16:53 comment added Cesar M StaffMod @Makyen I'll add that one to our notes, thanks :)
Dec 23, 2021 at 1:02 comment added Makyen @Randal'Thor This SE API query for users #294 and #1497 indicates the system only pinged user #294 for your comment. In other words, who was pinged is determinable, public, and a list of all pings for a user is available.
Dec 22, 2021 at 19:58 comment added Cesar M StaffMod @Randal'Thor looks like it's still needed :P
Dec 22, 2021 at 19:49 comment added Rand al'Thor @CesarM Good luck with this comment ;-)
Dec 22, 2021 at 19:38 comment added Cesar M StaffMod @Randal'Thor that's a case I wouldn't be too worried about, since we'd be doing it manually anyway, it's very likely that an intelligent human will be able to make a call that's appropriate for the situation (leaving it if it's still needed, deleting it if it's not).
Dec 22, 2021 at 18:30 comment added Rand al'Thor It can happen that two people with the same username are involved in the same comment thread. Even an intelligent human, let alone an automatic process, might then be unable to determine if a particular @-mention in a comment there was directed at this or that user.
Dec 22, 2021 at 18:11 history answered Bella_BlueStaffMod CC BY-SA 4.0