On 1/21/22 4:32 PM, William Oliver wrote:

I have installed mailman3 and it's up and running great. However, I noticed that, during a mass subscribe, I mis-typed an address, e.g. name@domain.ned rather than name@domain.net. I found how to unsubscribe the bad address, but I haven't found a "delete" option under Users or anywhere else. How to I purge a user from the users list?

You need to do it via REST or mailman shell. In mailman shell,

 >>> um = getUtility(IUserManager)
 >>> usr = um.get_user('user@example.com')
 >>> um.delete_user(usr)
 >>> commit()

As a related question, in docs.mailman.org, I can find a list member's manual, but I can't seem to find an admin manual. Is there one?

No, not per se.

-- Mark Sapiro <mark@msapiro.net> The highway is for gamblers, San Francisco Bay Area, California better use your sense - B. Dylan

William Oliver writes:

I have installed mailman3 and it's up and running great. However, I noticed that, during a mass subscribe, I mis-typed an address, e.g. name@domain.ned rather than name@domain.net. I found how to unsubscribe the bad address, but I haven't found a "delete" option under Users or anywhere else. How to I purge a user from the users list?

For the record and the general audience (I assume you've already replaced the bad address with the correct one, and then deleting the User with the bad address is a perfectly good way to do it), especially in the case where you've done other configuration of that User (this would be rare as far as I can tell, but I can imagine somebody flipping all the metoo bit with a withlist script or similar), you might want to add the correct address and delete the bad one to the User.

Steve