F f-droid.org UnifiedPush: A decentralized, open-source push notification protocol (2022) 35 points whereistimbo 2 years ago 15 comments