Merge branch 'release-0.7.2'
Changed from --staging to staging for pull target to be consistent with git.
Version bumped from 0.7.2 to 0.7.3
Merge branch 'release-0.7.3'