[Mailman-Developers] User id - integer or UUID?

[Andrew Stuart]

I have read previous discussion here about format of user_id

https://mail.python.org/pipermail/mailman-developers/2014-October/024024.html

That’s fine, I understand the issues.

The question is, I am storing user ids and it’s not clear to me if I should be storing them as INTs as returned by the REST API or converting back to UUID?

It’s important to get right now because Im going to use the same approach everywhere.

thanks