This is an automated email from the git hooks/post-receive script.
maxim.kuvyrkov pushed a change to reference refs/changes/15/46715/4 in repository toolchain/jenkins-scripts.
discards eda123577 round-robin.sh (build_abe): Do not disable make_docs in maint [...] adds 18d24fdf6 round-robin.sh (build_abe): Do not disable make_docs in maint [...]
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 (eda123577) \ N -- N -- N refs/changes/15/46715/4 (18d24fdf6)
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.
No new revisions were added by this update.
Summary of changes: