Push a git tag after a VERSION change#1209

Merged

btm merged 2 commits intomasterfrom btm/expeditor-git-tag

May 18, 2020

+17

Commits on May 17, 2020

Push a git tag after a VERSION change
btm
committed

Commits on May 18, 2020

Push git tag before omnibus build
btm
committed