2 commits

Author	SHA1	Message	Date
Arne Welzel	b9218b2ec7	ci/collect-repo-info.py: Recognize git worktrees, too ... Benjamin reported ci/collect-repo-info.py failing for him in Git worktrees, use `git` to actually check if we're in a repo.	2023-02-14 10:06:09 +01:00
Arne Welzel	3284259561	Add zeek -V/--build-info ... This adds a new utility called ci/collect-repo-info.py to produce a JSON document that is then baked into the Zeek executable file. Further, when creating a tarball via `make dist`, put a top-level repo-info.json file in place that is picked when no .git directory exists. Closes #1405	2023-02-13 12:23:29 +01:00