Avery Pennarun <apenwarr@xxxxxxxxx> wrote:
>> On Thu, May 14, 2009 at 12:42 AM, layer <layer@xxxxxxxxx> wrote:
>> > after the push, I still see the names of the files I pushed because I
>> > haven't updated origin/master yet, with a fetch. Of course, a "git
>> > pull" would do it, but I don't want to do that, because I might be
>> > using something other than `origin' and I don't want anything but the
>> > single branch.
>> >
>> > So, I naively thought that
>> >
>> > git fetch origin master
>> >
>> > would do the trick, but after that command the git diff above still
>> > shows the same files.
>>
>> Short answer:
>>
>> git fetch origin
>>
>> However, 'git push origin master' should update origin/master
>> automatically, at least in relatively recent git versions. It's
>> rather weird if that didn't happen.
I decided to attempt cleanup myself:
$ mv .git/refs/heads/origin/ git.refs.heads.origin
$ git diff origin/master..master
diff --git a/ChangeLog b/ChangeLog
index f7b4551..f2200a0 100644
--- a/ChangeLog
+++ b/ChangeLog
...
OK, back to normal.
$ git fetch origin
From git:/repo/git/acl
4be7cc8..28f0f4f master -> origin/master
$ git diff origin/master..master
$
I _swear_ I tried that. <sigh> Sorry to trouble everyone, and thanks
Avery. Appreciated.
Kevin
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html