Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 06:38:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

ci/collect-repo-info: No hard dependency on git, take two

Browse source 
Collecting information about builtin external plugins also
tried to use `git` unconditionally.
This commit is contained in:
Arne Welzel 2023-02-23 14:21:20 +01:00
parent 6bf1091a03
commit cc6e012f36
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
ci/collect-repo-info.py
View file

@ -129,7 +129,7 @@ def collect_plugin_info(plugin_dir: pathlib.Path):
except FileNotFoundError:
logger.warning("No VERSION found in %s", plugin_dir)
if git_is_repo(plugin_dir):
if git_available() and git_is_repo(plugin_dir):
result.update(git_generic_info(plugin_dir))
return result