6 Commits

Author	SHA1	Message	Date
Martin Pulec	9b855d4641	CI fetch_json: fixed when GITHUB_TOKEN not passed ... When GITHUB_TOKEN was not provided, fetch_json didn't work, because it uses positional arguments ("$@"), which were set only in this case but not unset otherwise.	2023-11-16 14:53:18 +01:00
Martin Pulec	87ec574f81	.github/scripts/json-common.sh: token optional ... GitHub token is not always required so make it optional. + rewrite (use small letters for local vars, curl silent /-sS/)	2022-09-22 10:21:13 +02:00
Martin Pulec	ab32827c11	CI: shellchecked .github/scripts/{json,create}*	2022-08-23 10:48:12 +02:00
Martin Pulec	ce6bdd79cf	CI: json-common.sh - safety check + escape	2022-08-23 10:48:11 +02:00
Martin Pulec	d2aa27da2a	GitHub CI: use JSON file ... Use JSON as a file to fix '\n' in JSON handling.	2020-05-26 21:50:51 +02:00
Martin Pulec	ee974c7764	GitHub Workflows: check HTTP status codes	2020-04-03 13:51:57 +02:00