Johannes Schindelin 63357b79c9 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>		2022-11-08 15:35:13 -05:00
..
workflows	ci: use a newer github-script version	2022-11-08 15:35:13 -05: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