通过 Git pull获取指定标记所标记的历史提交记录的步骤如下：
首先，使用 git fetch 命令获取最新的远程分支信息：git fetch origin
然后，使用 git tag 命令查看所有的标记：git tag
找到指定的标记，并使用 git checkout 命令切换到该标记：git checkout <tag_name>
最后，使用 git log 命令查看该标记所标记的历史提交记录：git log
关键词高亮：
git pull：获取最新的代码并合并到本地分支。指定标记：使用 git tag 命令查看所有的标记，找到需要的标记。历史提交记录：使用 git log 命令查看指定标记所标记的历史提交记录。