mit-scheme-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MIT-Scheme-devel] git pull is failing again


From: Matt Birkholz
Subject: Re: [MIT-Scheme-devel] git pull is failing again
Date: Fri, 21 Aug 2009 13:40:42 -0700

> From: address@hidden (Matt Birkholz)
> Date: Fri, 21 Aug 2009 10:27:45 -0700
> 
> [...]
> 
> I have often wondered why the website reports master's last commit as
> e.g. 39 hours old, while HEAD is 3 MONTHS old.  I cannot find any
> other refs on a996c47.
> 
> I think our HEAD has become detached at the repo.
>
> [...]
> > Or does the first error that `git pull' threw at me indicate that my
> > repository is irreparably screwed?
> 
> It is not YOUR repository that is screwed.  Look at the cgit webpage
> again and you will see what I mean...

I believe I have fixed the lagging HEAD ref on git.sv.gnu.org.  I
used:

        $ git push origin master:master HEAD:HEAD
        Counting objects: 14, done.
        Compressing objects: 100% (8/8), done.
        Writing objects: 100% (8/8), 867 bytes, done.
        Total 8 (delta 5), reused 0 (delta 0)
        To ssh://address@hidden/srv/git/mit-scheme.git
           a996c47..f2b42a4  HEAD -> HEAD
           1a886a3..f2b42a4  master -> master

The website agrees that master and HEAD are now the same -- f2b42a4 --
my recent commit:

        $ git log -1 --stat f2b42a4
        commit f2b42a44bdb4ba11b97b4d7360fc1031700ba8c3
        Author: Matt Birkholz <address@hidden>
        Date:   Fri Aug 21 13:20:08 2009 -0700

            Fixed `make tags', src/TAGS.

         .gitignore            |    1 +
         src/Setup.sh          |    2 +-
         src/TAGS              |    2 --
         src/microcode/Tags.sh |    6 ++++++
         4 files changed, 8 insertions(+), 3 deletions(-)

Note that I deleted an entry from src/TAGS that contained an absolute
path:

        /scheme/documentation/ref-manual/TAGS

This change may have slipped in because src/TAGS was covered by
.gitignore.  I added a line to .gitignore

        !/src/TAGS

to uncover it.  If I have done wrong, you know who to yell at. :-} I
can have it back in a jiffy -- even faster if you can give me a
relative path and a Makefile rule to build the critter.

doc/ref-manual/TAGS... intriguing...




reply via email to

[Prev in Thread] Current Thread [Next in Thread]