Kristofer Rye 586629c0b6 ci: Replace exec-with-shell wrapper with "plain bash" ... Also, promote defaults.run.shell from inside only the primary jobs to the top level. The src/ci/exec-with-shell.py wrapper script was formerly used to change out the shell mid-job by intercepting a CI_OVERRIDE_SHELL environment variable. Now, instead, we just set `bash` as the global default across all jobs, and we also delete the exec-with-shell.py script. Signed-off-by: Kristofer Rye <kristofer.rye@gmail.com>		2020-07-17 08:44:14 -05:00
..
ISSUE_TEMPLATE	Clarify when to use the tracking issue template	2020-04-18 21:07:28 +02:00
workflows	ci: Replace exec-with-shell wrapper with "plain bash"	2020-07-17 08:44:14 -05:00