合并来自远程git存储库的标记，但没有其历史记录

Question

请考虑以下情况：

有两个存储库，一个是公司开发人员的内部存储库，另一个是公共存储库（例如，在GitHub上）。

[public-repo.git]                 [internal-repo.git]
         \                                /    \  \
          \                 (1) pull tag /      \  \
           \                            /        \  \-(developer 2)
            \ (2) push w/o history     /          \
             \                        /            \-(developer n)
              \                      /
            [local copy of public-repo]

现在我想从internal-repo将标记（1）“my-tag”提取到public-repo的本地工作副本。然后将其合并并推送到public-repo（2）。

问题是，我希望保持与internal-repo的关系，但不希望公开内部开发者历史记录。

将这个存档的方法是什么？

到目前为止，我在local copy of public-repo：

中所做的工作

git remote add development git@internal-repo.git
git fetch development
git merge -s ours --no-commit my-tag
git commit

但是这会将internal-repo的完整历史记录带入public-repo。