Sort:  

We're still using Postgres 10 right now for our production, so odds are very good that he's using the same.

I'm using Ubuntu 18.04 LTS and as much as I can that comes with distribution, so it's PostgreSQL 10, and I would strongly recommend doing same.