From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 11 Feb 2021 00:48:07 +0000 (-0800)
Subject: Merge branch 'tb/ci-run-cocci-with-18.04'
X-Git-Tag: v2.31.0-rc0~57
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c6102b758572c7515f606b2423dfe38934fe6764;p=thirdparty%2Fgit.git

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
---

c6102b758572c7515f606b2423dfe38934fe6764