tidying up following upload to git, getting CI clean