Git and PostgreSQL.

Git push tags to remote.
PostgreSQL rename database.