That's why I have two remotes
origin --> codeberg github --> github
I may add others. Redundancy is a good thing.