bin/clean-github.sh

#!/bin/sh

ssh github1-int rm -rf /var/jenkins/workspace/Github*/src
ssh github2-int rm -rf /var/jenkins/workspace/Github*/src
ssh github3-int rm -rf /var/jenkins/workspace/Github*/src
ssh github4-int rm -rf /var/jenkins/workspace/Github*/src