Johannes Schindelin d0ff1a3cbc ci: work around old records of GitHub runs ... Apparently older GitHub runs at least _sometimes_ lack information about the `head_commit` (and therefore the `ci-config` check will fail with "TypeError: Cannot read property 'tree_id' of null") in the check added in 7d78d5fc1a (ci: skip GitHub workflow runs for already-tested commits/trees, 2020-10-08). Let's work around this by adding a defensive condition. Reported-by: Philippe Blain <levraiphilippeblain@gmail.com> Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de> Signed-off-by: Junio C Hamano <gitster@pobox.com>		2020-10-12 12:27:10 -07:00
..
workflows	ci: work around old records of GitHub runs	2020-10-12 12:27:10 -07:00
CONTRIBUTING.md	docs: mention MyFirstContribution in more places	2020-06-08 15:12:28 -07:00
PULL_REQUEST_TEMPLATE.md	point pull requesters to GitGitGadget	2019-03-13 11:07:50 +09:00