Simon isn't receiving notifications for some issue changes
Today @simonpj and I discussed his notification settings as he reported not receiving notifications for some issues and merge requests despite his global notifications setting for ghc/ghc> being set to Watch
. A few observations (in no particular order):
- GitLab's notification infrastructure is described here
- He seems to receive notifications of new tickets; he does not receive notifications of changes to some existing tickets
- the "notifications" slider is off in all cases
- If I create a new ticket and leave a comment on it he receives notifications for both the ticket creation and the comment
- If he then explicitly enables, then disables the ticket's notification slider he will no longer receive notifications of future changes to that ticket
This suggests that he may have inadvertently touched the notifications slider, although it's quite unclear how.