Assuming it was recent you can just grep for his username in the nginx logs.
zgrep username /var/discourse/shared/standalone/log/var-log/nginx/access.log.*.gz
Assuming it was recent you can just grep for his username in the nginx logs.
zgrep username /var/discourse/shared/standalone/log/var-log/nginx/access.log.*.gz