tree 71a56db7c98702f2144db289fceec2bbb0d38e19
parent 14ba8852d060aca680331a6e4dc411038af1def6
author June Tate-Gans <jtgans@google.com> 1592416699 -0400
committer June Tate-Gans <jtgans@google.com> 1592417859 -0400

jenkins: Add scripts to make a release cut

This creates a new release publish by using the latest unstable
snapshots and merging those snapshots into a new pair of release
snapshots. In short, we do this:

  [mirror] debian -s\
                     > core-full-$stamp
  [repo]   core   -s/        \-s> $release-full-$stamp
                                       \-p> $release

  [repo]   $board-bsp
                \-s> unstable-bsp-$board-$stamp
                             \-s> $release-bsp-$board-$stamp
                                       \-p> $release-bsp-$board

Arrows with "s" in the middle are snapshot merges. A snapshot is created
from snapshots from the parent repo, mirror, or snapshot.

Arrows with "p" in the middle are publishes -- the final export to the
publicly viewable filesystem.

With this design, each release is freed from the upstream unstable churn
by one level of snapshots, which allows us to filter or merge in
packages from other snapshots, if necessary.

Change-Id: I4a2f6b0e4bbf8d8e8dd9b5eb575a524134bf912d