An effort to replace Jenkins with a very small shell script