fatal: Needed a single revision

Stream: mathlib4

[Yakov Pechersky]

On commit b6ec7450650a, I am getting

`/home/yakov/.elan/toolchains/leanprover--lean4---v4.3.0-rc1/bin/lake print-paths Init Mathlib.Tactic --no-build` failed:

stderr:
error: > git rev-parse --verify HEAD    # in directory ./lake-packages/aesop
error: stderr:
fatal: Needed a single revision
error: external command `git` exited with code 128
Invalid Lake configuration.  Please restart the server after fixing the Lake configuration file.

[Yakov Pechersky]

elan self update updated to 3.0.0.

$ lake exe cache get
error: > git rev-parse --verify HEAD    # in directory ./lake-packages/aesop
error: stderr:
fatal: Needed a single revision
error: external command `git` exited with code 128

$ ls ./lake-packages/aesop/**
zsh: no matches found: ./lake-packages/aesop/**

[Yakov Pechersky]

OK, rm -rf ./lake-packages; lake exe cache get fixed it