added GIT_PUB_REPO
Merge pull request #102 from alexmilowski/travis-alex

added GIT_PUB_REPO
Merge branch 'xproc20' into initial-env