This is an automated email from the git hooks/post-receive script.

maxim.kuvyrkov pushed a change to reference refs/replace/f7020a3629b1edeae845dce4c91fdb47d1733b2a in repository toolchain/jenkins-scripts.

at 91f8b27ee jenkins-helpers.sh: Workaround DNS issue

This reference includes the following new commits:

new 91f8b27ee jenkins-helpers.sh: Workaround DNS issue

The 1 revisions listed above as "new" are entirely new to this repository and will be described in separate emails. The revisions listed as "adds" were already present in the repository and have only been added to this reference.