从dev checkout一个feature/ 分支对hello.c进行编辑提交到本地仓库，

首先需要在本地仓库中切换到该分支，可以使用以下命令：

git checkout feature/

然后可以对hello.c进行编辑，保存后使用以下命令将修改提交到本地仓库：

git add hello.c
git commit -m "修改了hello.c文件"

其中，`git add`命令将修改后的文件添加到暂存区，`git commit`命令将暂存区的修改提交到本地仓库，并添加一条提交信息“修改了hello.c文件”。

最后，可以使用`git push`命令将本地仓库中的修改同步到远程仓库的feature/分支中，如下：

git push origin feature/