23:49:11 [ssh-agent] Using credentials jenkins (GitHub Promote Key) 23:49:11 SSH_AUTH_SOCK=/tmp/ssh-cohfaZUkG60E/agent.80412 23:49:11 SSH_AGENT_PID=80415 23:49:11 Running ssh-add (command line suppressed) 23:49:12 [ssh-agent] Started. $ ssh-agent 23:49:13 [ssh-agent] Stopped.
