pull

How to fetch and pull from GitHub

Clone twice, push from clone A, then git fetch plus merge or git pull on clone B until HEAD matches origin/main. No rebase, no --web.