push-all now cherry-picks new main commits onto the gitea-sync branch on top of the clean baseline, so history is visible on gitea from this point forward while the pre-existing history stays hidden.