F f-droid.org UnifiedPush: A decentralized, open-source push notification protocol 741 points mikece 3 years ago 146 comments