That would happen if you have not changed directory to the cloned
before doing the git reset and so on.
Yesterday, your first instruction for "git clone" seemed to work. Stuff
was downloaded. The only thing that I did a little strange was that I
used my old build directory for a starting point. But it seemed to work.
But today, in my saved bibledit directory, I tried your second set of
instructions, beginning with "git reset --hard" and "git pull." The
terminal answered for both "Fatal: not a git repository" and for the
second command there was also another message, "Failed to find a valid