tree 6b4292a357216773e8ae8fd7609bb333924bc813
parent e71f00f73f02196972042b119ea07f91b526956e
author Johannes Schindelin <johannes.schindelin@gmx.de> 1667902408 +0000
committer Junio C Hamano <gitster@pobox.com> 1670657536 +0900

ci: use a newer `github-script` version

The old version we currently use runs in node.js v12.x, which is being
deprecated in GitHub Actions. The new version uses node.js v16.x.

Incidentally, this also avoids the warning about the deprecated
`::set-output::` workflow command because the newer version of the
`github-script` Action uses the recommended new way to specify outputs.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Taylor Blau <me@ttaylorr.com>