Re: [be] bibledit 3.7.20 available in git repository

[Birch Champeon]

 I re-created the repository, same thing.  Still 3.7.3.  This is also happening to Dan Dennison.  

Thanks,

Birch

On Sun, May 10, 2009 at 10:14 PM, Teus Benschop <address@hidden> wrote:

It looks something unusual happened in the repository. I would recommend
doing a fresh checkout, that is, throwing away whatever local repository
is there now. Teus.

On Sun, 2009-05-10 at 21:55 -0400, Birch Champeon wrote:
> git pull
> Already up-to-date.
>
> On Sun, May 10, 2009 at 9:29 PM, Teus Benschop
> <address@hidden> wrote:
>         On Sat, 2009-05-09 at 21:11 -0400, Birch Champeon wrote:
>         > When I  git reset --hard
>         > it says:
>         > HEAD is now at f1dbbfd better undo (with rough edges)
>
>
>         And when you "git pull", what does it say?
>
>         > Then when I make install it only installs at 3.7.3
>         >
>         > Shouldn't be installing 3.7.20 ?
>
>
>         Yes, it should.
>
>         If nothing works, checking out a fresh repository may be an
>         option left
>         to you.
>
>         Teus.
>
>
>
>
>