new push parameters: --tag / --tag-refresh#337

Open

oboukili wants to merge 2 commits intoingydotnet:masterfrom

oboukili:release/0.4.1

Commits on Jan 20, 2018

Added --tag and --tag-refresh options to push command + Fixed some post-cleaning bugs with worktrees/branches.
oboukili
committed
restored the push commit behaviour, even in the case of a tag refresh only.
oboukili
committed