Currently, I can get a user in the user pool by specifying their username like so:
aws cognito-idp list-users --user-pool-id xxx --filter 'username="ABC"'
However, what do I do if I want to get both user "ABC" and user "DEF"? Is it possible to add a boolean OR to the filter string?
Something like
aws cognito-idp list-users --user-pool-id xxx --filter 'username="ABC" or username="DEF"'