Add export for push notification devices
Add export for push notification devices
Part of https://gitlab.com/gitlab-org/gitter/webapp/-/issues/1899
Edited by Eric Eastwood
Add export for push notification devices
Part of https://gitlab.com/gitlab-org/gitter/webapp/-/issues/1899