Console Output

+ GIT_API_HOME=git@github.com:eclipse-ee4j/websocket-api.git
+ SITE_FOLDER=gh-pages
+ git config --global user.email websocket-bot@eclipse.org
+ git config --global user.name 'Eclipse Websocket Bot'
+ cd /home/jenkins/agent/workspace/TCK_run
+ git clone --depth 1 --branch gh-pages --single-branch git@github.com:eclipse-ee4j/websocket-api.git gh-pages
Cloning into 'gh-pages'...
Failed to add the RSA host key for IP address '140.82.114.4' to the list of known hosts (/home/jenkins/.ssh/known_hosts).
+ mkdir -p gh-pages/tck
+ cp -a summary.txt gh-pages/tck/summary.txt
+ cd gh-pages
+ git add tck
+ git commit -a -s -m 'TCK: summary.txt'
[gh-pages d14b763] TCK: summary.txt
 1 file changed, 9 insertions(+), 9 deletions(-)
+ git push origin gh-pages
Failed to add the RSA host key for IP address '140.82.114.4' to the list of known hosts (/home/jenkins/.ssh/known_hosts).
To github.com:eclipse-ee4j/websocket-api.git
   035605f..d14b763  gh-pages -> gh-pages