Kacper Michajłow 2697a8c362 workflows/comment: refactor comment workflow to not use github-script ... It is not actively maintained, third-party, javascript wrapper for GitHub API. The v7 version has issues and most importantly, we don't need a JavaScript interface to create a comment. Use the first-party CLI tool and jq. Sort artifacts by name while at it.		2024-05-20 18:04:54 +02:00
..
ISSUE_TEMPLATE	github/issue_template: ask for possible sample files on feature request	2024-05-17 20:30:43 +02:00
workflows	workflows/comment: refactor comment workflow to not use github-script	2024-05-20 18:04:54 +02:00
PULL_REQUEST_TEMPLATE	github: try to get contributors to read contribute.md	2019-10-01 21:44:57 +02:00