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

maxim.kuvyrkov pushed a change to reference refs/changes/82/43482/4 in repository toolchain/jenkins-scripts.

discards a7c92ac76 Pass --interesting_symbols to gather-metrics.sh. new 6e6b84b12 Pass --interesting_symbols to gather-metrics.sh.

This update added new revisions after undoing existing revisions. That is to say, some revisions that were in the old version of the reference are not in the new version. This situation occurs when a user --force pushes a change and generates a repository containing something like this:

* -- * -- B -- O -- O -- O (a7c92ac76) \ N -- N -- N refs/changes/82/43482/4 (6e6b84b12)

You should already have received notification emails for all of the O revisions, and so the following emails describe only the N revisions from the common base, B.

Any revisions marked "omits" are not gone; other references still refer to them. Any revisions marked "discards" are gone forever.

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.

Summary of changes: