Since we tell the user to review the changes and then push, I think it's safe to delete this