From c9642cc98c67fe99c871f9f9f37aa92e46d06ba5 Mon Sep 17 00:00:00 2001
From: Bruno Windels <brunow@element.io>
Date: Tue, 23 Mar 2021 15:22:37 +0100
Subject: [PATCH] add notes how to enable push for local dev

---
 index.html | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/index.html b/index.html
index fb6934bb..d1a9db0d 100644
--- a/index.html
+++ b/index.html
@@ -26,11 +26,9 @@
                 downloadSandbox: "assets/download-sandbox.html",
                 // NOTE: uncomment this if you want the service worker for local development
                 // serviceWorker: "sw.js",
-                // push: {
-                //     appId: "io.element.hydrogen.web",
-                //     gatewayUrl: "...",
-                //     applicationServerKey: "...",
-                // },
+                // NOTE: provide push config if you want push notifs for local development
+                //       see assets/config.json for what the config looks like
+                // push: {...},
                 olm: {
                     wasm: "lib/olm/olm.wasm",
                     legacyBundle: "lib/olm/olm_legacy.js",