Hi guys, out of curiosity when you used reddit sync did you use the notifications feature?

If so did you use push notifications from the official reddit app or polled notifications (ie sync checkes every 60min, 2hrs, etc)?

Lastly hypothetically if sync for lemmy had notifications features similar to sync for reddit would you use star/continue to use instant push notifications/polling based push notifications?

Curious on your thoughts.