From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 16 Apr 2025 20:54:16 +0000 (-0700)
Subject: Merge branch 'js/ci-fedora-gawk'
X-Git-Url: https://www.git.kevux.org/?a=commitdiff_plain;h=959760dc42880d7b8fc878db9221d8ced1e4c48f;p=rit

Merge branch 'js/ci-fedora-gawk'

Work around CI breakage due to fedora base image getting updated.

* js/ci-fedora-gawk:
  ci(pedantic): ensure that awk is installed
---

959760dc42880d7b8fc878db9221d8ced1e4c48f