new extension: fetch -> combine pull and merge/update
pull changes from remote repo.
if changes add new head: merge with new head, commit result.
else: update working dir to new head.
this makes useful command like git 'pull' command.
#!/bin/shop=`basename $0 | sed -e 's/^git-//'`exec hgit $op "$@"