tag 1.13

Tag release 1.12.2

Tag 1.12.1

tag 1.12 release

Tag v1.11.8

tag v1.11.7

tag 1.11.6

Tag v1.12-dev.5

Includes package-local nicknames and some other changes that
require new bootstrapping images.

new tag v1.12-dev.4

tag v1.12-dev.3