To get the ID of a Discord user you first need to activate developer mode. Once this has been activated, simply copy the id into the member options.