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