git remote set-head

[LiNk-NY]

AFAICT, there is no git_remote_set_head operation. Could this be added?

It would be nice for those that are renaming branches and need to update the HEAD.

For example to avoid code like this:

system2("git", "remote set-head origin devel")

gert could provide:

gert::git_remote_set_head("origin", "devel")

Thanks!