Git Production Server Updating

A quick note,

If you want to update a production server's versioned files, and discard local changes (which there shouldn't be any... right?)

discard local changes, and replace them with the most recent commit that exists on the github server (origin) on branch production:

> git reset --hard origin/production

Thanks for help on this from: Here