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