[9front] Another git/pull bug

[9front] Another git/pull bug

[James Cook]

(As far as I know, this is unrelated to the bug in my last email.)

If the default remote is a bare git repo behind an ssh: url (with
the official git client on the remote host), and there's nothing
to pull, and I run git/pull, I see:
	/bin/git/pull: get 37322: sys: write on closed pipe pc=0x21120a

To reproduce:
- On foohost, create a bare git repo at /home/$user/bar.git and make sure it has some commits.
- On 9front: git/clone ssh://foohost/home/$user/bar; cd bar; git/pull

I did a tiny bit of debugging, to find that this command:

	git/get -uorigin ssh://foohost/home/$user/bar

outputs only

	uri: "ssh://moth-openbsd/home/falsifian/bar"
	symref HEAD refs/heads/main

where normally (e.g. with a non-bare git repo) it will also output lines like

	remote HEAD ...
	remote refs/heads/master ...

-- 
James

Re: [9front] Another git/pull bug

[ori]

I can't reproduce this one:

	cpu% git/clone ssh://eigenstate.org/home/ori/git-priv/e.git
	fetching... |
	indexing 63 objects: 100%
	checking out repository...
	cpu% cd e
	cpu% git/pull
	up to date


Quoth James Cook <falsifian@falsifian.org>:
> (As far as I know, this is unrelated to the bug in my last email.)
> 
> If the default remote is a bare git repo behind an ssh: url (with
> the official git client on the remote host), and there's nothing
> to pull, and I run git/pull, I see:
> 	/bin/git/pull: get 37322: sys: write on closed pipe pc=0x21120a
> 
> To reproduce:
> - On foohost, create a bare git repo at /home/$user/bar.git and make sure it has some commits.
> - On 9front: git/clone ssh://foohost/home/$user/bar; cd bar; git/pull
> 
> I did a tiny bit of debugging, to find that this command:
> 
> 	git/get -uorigin ssh://foohost/home/$user/bar
> 
> outputs only
> 
> 	uri: "ssh://moth-openbsd/home/falsifian/bar"
> 	symref HEAD refs/heads/main
> 
> where normally (e.g. with a non-bare git repo) it will also output lines like
> 
> 	remote HEAD ...
> 	remote refs/heads/master ...
> 
> -- 
> James