diff options
| author | Martin Schwaighofer <mschwaig@users.noreply.github.com> | 2021-12-13 21:31:15 +0100 |
|---|---|---|
| committer | Martin Schwaighofer <mschwaig@users.noreply.github.com> | 2022-02-19 22:58:22 +0100 |
| commit | 0bfa0cdea1b4eb09405e35b338887c91a041d28c (patch) | |
| tree | 1f38f62073daaf50640131871816e0158fd083f3 /.github/stale.yml | |
| parent | 9bc03adbba5334663901c1136203bc07e4776be9 (diff) | |
git fetcher: improve check for valid repository
The .git/refs/heads directory might be empty for a valid
usable git repository. This often happens in CI environments,
which might only fetch commits, not branches.
Therefore instead we let git itself check if HEAD points to
something that looks like a commit.
fixes #5302
Diffstat (limited to '.github/stale.yml')
0 files changed, 0 insertions, 0 deletions