Merge branch 'release/0.80.18' into develop
update shelldeploy target for migration usage.
migration: more info.
version bump for 0.80.19.
Merge branch 'release/0.80.19'