#git clear

Fixing non-fast-forward push to prod branch when remote has diverged via PR merges