From: Chris Torek <chris.torek@gmail.com>
Date: Sat, 17 Feb 2024 01:22:39 GMT
Subject: Re: Question about migrating a repository
Message-ID: <CAPx1GvfVNOeMSJMFgJfGUA9MNBAyuvpwpKfX0ZH0JTJPwuxYnA@mail.gmail.com>
In-Reply-To: <6965c59e-8edd-4d91-81da-3600a61569a3@app.fastmail.com>

On Fri, Feb 16, 2024 at 11:47 AM Kristoffer Haugsbakk
<code@khaugsbakk.name> 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