Re: [PATCH 0/4] Pulling refs files
From: Petr Baudis <hidden>
Date: 2016-06-15 22:41:57
Dear diary, on Sun, May 15, 2005 at 05:23:18AM CEST, I got a letter where Daniel Barkalow [off-list ref] told me that...
On Sat, 14 May 2005, Petr Baudis wrote:quoted
So what about just something like git-wormhole-pull remote:refs/head/master wormhole://localhost/ That is, you could just specify remote:path_relative_to_url instead of SHA1 id as the commit.Do you have any sensible alternatives to "remote:refs/<something>" in mind? I suppose that "remote:HEAD" would also work. How are you thinking of having the value get written locally?
Anything that gets eventually wound up in the info/ directory. (The name of the ignore file saved in info/ignore is the current hit.)
Do you also have some idea for user-invoked rpush? It has to call something that writes the value on the other side (and I'd ideally like it to do the update atomically and locked against other clients). This series uses the same mechanism to write it that it uses to write hashes fetched from remote machines.
Well, it'd be again nice to have some generic mechanism for this so that the user could theoretically push over rsync too or something (although that'll be even more racy, it is fine for single-user repository). I think the remote file to write the value inside should be porcelain business. What you should always check though is that before the pull (and after the locking) the value in that file is the same as the "push base". This way you make sure that you are still following a single branch and in case of multiuser repositories that you were fully merged before pushing. -- Petr "Pasky" Baudis Stuff: http://pasky.or.cz/ C++: an octopus made by nailing extra legs onto a dog. -- Steve Taylor