子仓库在父仓库中进行了修改，你需要按照以下步骤提交子仓库的修改：

1. 切换到子仓库目录：使用cd命令进入子仓库所在的目录。
2. 拉取子仓库的最新更改：使用git pull命令拉取子仓库的最新更改，确保你的本地是最新的版本。
3. 提交子仓库的修改：使用git add .命令将子仓库的修改添加到暂存区，然后使用git commit -m "提交信息"命令提交修改。
4. 推送子仓库的修改到远程仓库：使用git push命令将子仓库的修改推送到远程仓库。
5. 回到父仓库目录：使用cd命令返回父仓库目录。
6. 添加子仓库的修改到父仓库：在父仓库中使用git add 子仓库目录命令将子仓库的修改添加到暂存区。
7. 提交父仓库的修改：使用git commit -m "提交信息"命令提交父仓库的修改。
8. 推送父仓库的修改到远程仓库：使用git push命令将父仓库的修改推送到远程仓库。

这样，子仓库的修改就被包含在父仓库的提交中了。

补充：

git push origin HEAD:refs/for/master 和 git push 的区别：

git push origin HEAD:refs/for/master 这条命令是将本地的master分支推送到远程主机origin上的对应master分支。其中，origin是远程主机名，第一个master是本地分支名，第二个master是远程分支名。这条命令中，HEAD是一个特别的指针，它指向的是你正在工作的本地分支，这样git就能知道你工作在哪个分支。refs/for/表示提交代码到服务器之后是需要经过code review之后才能进行merge操作的，而refs/heads则不需要。

相比之下，git push命令则是一个更为通用的命令，用于推送本地分支的更改到远程仓库。具体来说，git push <远程主机名> <本地分支名> : <远程分支名>，其中远程主机名是指远程仓库的名字，本地分支名是指本地的分支名字，远程分支名是指远程仓库的分支名字。如果省略远程分支名，则表示将本地分支推送到与之存在追踪关系的远程分支（通常两者同名），如果该远程分支不存在，则会被新建。