From 4a20f7ee3c4b09ea1c52b38917c28bc4a8fa5c2d Mon Sep 17 00:00:00 2001
From: Hal <11689349+yokoffing@users.noreply.github.com>
Date: Thu, 21 Mar 2024 11:10:50 -0400
Subject: [PATCH] remove push

Required for CRLite
---
 personal/user-overrides.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/personal/user-overrides.js b/personal/user-overrides.js
index 69dc5bd..7bf1edb 100644
--- a/personal/user-overrides.js
+++ b/personal/user-overrides.js
@@ -47,7 +47,6 @@ user_pref("browser.safebrowsing.downloads.remote.url", ""); // enforce no remote
 user_pref("browser.safebrowsing.downloads.remote.block_potentially_unwanted", false); // clean up UI; not needed in user.js if remote downloads are disabled
 user_pref("browser.safebrowsing.downloads.remote.block_uncommon", false); // clean up UI; not needed in user.js if remote downloads are disabled
 user_pref("browser.safebrowsing.allowOverride", false); // do not allow user to override SB
-user_pref("dom.push.enabled", false); // disable Push API; breaks FF Sync and Site Notifications
 user_pref("browser.search.update", false); // do not update opensearch engines
 user_pref("network.trr.confirmationNS", "skip"); // skip TRR confirmation request
 user_pref("extensions.webextensions.restrictedDomains", ""); // remove Mozilla domains so adblocker works on pages