push --force-with-lease: tie it all together