get push deviceRegistrations device id - platform API | Specway Docs