This is an automated email from the git hooks/post-receive script.
maxim.kuvyrkov pushed a change to reference refs/replace/7b1b1b0841224759b37750abaa5c784f9dfd6437 in repository toolchain/jenkins-scripts.
at 2d7a4cf28 jenkins-helpers.sh: Speed-up "git gc" in clone_or_update_repo
No new revisions were added by this update.