|
|
7f4d31a79c
|
Merge branch 'master' into set-push-server
|
2023-12-04 08:55:39 -07:00 |
|
|
|
4041a7d08e
|
more commentary, including for blank values for the user
|
2023-12-02 23:15:50 -07:00 |
|
|
|
681d949098
|
update web push servers to the domains we're using
|
2023-12-02 15:35:44 -07:00 |
|
|
|
3bf8fd0c22
|
rename "push" to "webPush" for future-proofing
|
2023-12-02 15:28:32 -07:00 |
|
|
|
ee6a344daf
|
doc: add a guess for the states of the notifications
|
2023-11-12 19:03:39 -07:00 |
|
|
|
65a5edf26b
|
allow to customize the push-server for testing
|
2023-11-12 11:35:36 -07:00 |
|
