pull: handle git-fetch's options as well