This is an automated email from the git hooks/post-receive script.
maxim.kuvyrkov pushed a change to reference refs/replace/db3b13c0a9dad7f464741bb23e011cdb67650672 in repository toolchain/jenkins-scripts.
at e05bfbc37 jenkins-helpers.sh: Explicitly delete .git/gc.log
No new revisions were added by this update.