bbbradsmith c662c7a36f use diff-index to prevent commit instead of bash if ... preferred because the if suppresses all git commit errors, instead of the one error we need to suppress (commit with no changes)		2023-05-05 12:02:50 -04:00
..
build-on-pull-request.yml	really update all jobs	2022-11-18 19:00:35 +01:00
snapshot-on-push-master.yml	use diff-index to prevent commit instead of bash if	2023-05-05 12:02:50 -04:00