Update the meaning of git fetch --tags and tagopt=--tags
tree03dd2a43753b3e9ae5e73b48aca8d44dedfca89f
-rw-r--r-- 429 .gitignore
-rw-r--r-- 560 .gitmodules
-rw-r--r-- 224 .mailmap
-rw-r--r-- 255 .tgitconfig
drwxr-xr-x - Languages
-rw-r--r-- 2878 build.txt
drwxr-xr-x - contrib
drwxr-xr-x - doc
drwxr-xr-x - ext
-rw-r--r-- 1742 release.txt
drwxr-xr-x - src
drwxr-xr-x - test