How to sync your local DB when prod was changed manually

You SSHed into your server and ran an ALTER TABLE directly in psql. Now your production schema is ahead of your local machine. Here’s the…