tree af165be4a97c85359ed4ced1fab5ec5acbc29bc4
parent f9f2520108bab26a750bcbb00518dc27672cf0a2
parent d051ed77ee6bc0279bebe17b4b39b9034d4ca9fa
author Junio C Hamano <gitster@pobox.com> 1613004487 -0800
committer Junio C Hamano <gitster@pobox.com> 1613004487 -0800

Merge branch 'tb/ci-run-cocci-with-18.04'

The version of Ubuntu Linux used by default at GitHub Actions CI
has been updated to one that lack coccinelle; until it gets fixed,
work it around by sticking to the previous release (18.04).

* tb/ci-run-cocci-with-18.04:
  .github/workflows/main.yml: run static-analysis on bionic