I wonder if we should instead do `!git fetch && git merge --ff-only && git push`?