#!/bin/bash

thisScript=`basename $0`
files=""
for targetDir in `find ../distros -type d  |grep scripts`; do 
    for file in *; do
        if test "$file" != "$thisScript"; then
            cp $file $targetDir
            git add $file
            files="$files $file"
        fi
    done
done
    
git commit $files -m "next chunk of scripts"

Add python lock script to work around jenkins lock bug
Add python lock script to work around jenkins lock bug
