On Fri, Feb 16, 2024 at 11:47 AM Kristoffer Haugsbakk
<code@xxxxxxxxxxxxxxx> wrote:
> Your repository is fine. There’s nothing that you need to do.
This is correct, but, if you'd like to make your local Git stop
mentioning `origin`
entirely, you can simply run:
git remote remove origin
which will cause your (new) local Git repository to forget that it got
copied from
somewhere else.
You can shorten the word `remove` to just `rm` (as in the Linux/Unix
"remove file" command).
Chris
