[jpalawaga]

to be fair, git is one of the most easily replaced pieces of tech.

just add a new git remote and push. less so for issues and and pulls, but at least your dev team/ci doesn't end up blocked.