Tell people how to exit PostgreSQL.
Explain that you need to exit your ssh session before pushing code