don't auto-run `git push && git push --tags` on version#1246

Merged

etpinard merged 1 commit intomasterfrom

better-postversion

Dec 12, 2016

Commits on Dec 11, 2016

don't auto-run `git push && git push --tags` on version
etpinard
committed