Ionic push: undocumented users query endpoint?

When segmenting a push in the https://apps.ionic.io platform, you can target a segment of users by querying for them:

This appears to make a request to POST https://api.ionic.io/users/query:

image

I can’t see this API documented anywhere on: http://docs.ionic.io/docs/api-users. I need to use this API to lookup some Ionic user IDs from their email address. Can this API be relied upon? Or is it undocumented for a reason (and likely to be removed/changed in future)? Is there a supported way of querying for users?

Hi,

This is an important feature for us too. It doesn’t make sense for us to filter through this list manually when we are anticipating over 10k users, I believe the ionic platform should be able to somehow support this through api.

Thanks,
Thomas