[9front] git question: copying one repo to another with ... git pull or ...

[9front] git question: copying one repo to another with ... git pull or ...

[ron minnich]

[-- Attachment #1: Type: text/plain, Size: 393 bytes --]

I cpu in to shithub. In /mnt/term/$home I have a repo.

I want to back that repo up to the copy on shithub.

I keep thinking I ought to be able to something like:
cd /mnt/term/whateverf
git/serve <'#s/x'

cd backup repo
git/pull '#s/x'

but that's not quite right.

I'm wondering what I'm missing.

I don't want to dircp, it just feels wrong, I want to pull whatever blobs I
need and no more.

[-- Attachment #2: Type: text/html, Size: 626 bytes --]

Re: [9front] git question: copying one repo to another with ... git pull or ...

[ori]

Quoth ron minnich <rminnich@gmail.com>:
> I cpu in to shithub. In /mnt/term/$home I have a repo.
> 
> I want to back that repo up to the copy on shithub.
> 
> I keep thinking I ought to be able to something like:
> cd /mnt/term/whateverf
> git/serve <'#s/x'
> 
> cd backup repo
> git/pull '#s/x'
> 
> but that's not quite right.
> 
> I'm wondering what I'm missing.
> 
> I don't want to dircp, it just feels wrong, I want to pull whatever blobs I
> need and no more.
> 

git/clone knows how to clone repos if you give the full path:

	git/clone /mnt/term/$home/$repo

it may be nice to teach it to just assume that there's an fd
that it can speak the git protocol over; that's not there right
now.

Re: [9front] git question: copying one repo to another with ... git pull or ...

[ron minnich]

[-- Attachment #1: Type: text/plain, Size: 983 bytes --]

what if I want to copy from an existing repo to an existing repo, will the
full path thing still work? I am guessing yes but ...

On Fri, Dec 13, 2024 at 8:48 AM <ori@eigenstate.org> wrote:

> Quoth ron minnich <rminnich@gmail.com>:
> > I cpu in to shithub. In /mnt/term/$home I have a repo.
> >
> > I want to back that repo up to the copy on shithub.
> >
> > I keep thinking I ought to be able to something like:
> > cd /mnt/term/whateverf
> > git/serve <'#s/x'
> >
> > cd backup repo
> > git/pull '#s/x'
> >
> > but that's not quite right.
> >
> > I'm wondering what I'm missing.
> >
> > I don't want to dircp, it just feels wrong, I want to pull whatever
> blobs I
> > need and no more.
> >
>
> git/clone knows how to clone repos if you give the full path:
>
>         git/clone /mnt/term/$home/$repo
>
> it may be nice to teach it to just assume that there's an fd
> that it can speak the git protocol over; that's not there right
> now.
>
>

[-- Attachment #2: Type: text/html, Size: 1544 bytes --]

Re: [9front] git question: copying one repo to another with ... git pull or ...

[ori]

Quoth ron minnich <rminnich@gmail.com>:
> what if I want to copy from an existing repo to an existing repo, will the
> full path thing still work? I am guessing yes but ...

yes, you should be able to add/change the url= in the config.

note, if you want to sync to multiple places, you can have
multiple url= lines, and we'll push to them all, and pull
from the first.

	[remote "origin"]
		url=hjgit://only9fans.com/rminnich/foo
		url=/mnt/term/home/rminnich/src/foo
		url=ssh://github.com/rminnich/foo