Merge branch 'jc/request-pull-show-head-4'

* jc/request-pull-show-head-4: request-pull: do not emit "tag" before the tagname request-pull: update the "pull" command generation logic