The source project of this merge request has been removed.
Add `ggit_repository_set_head_detached()` to the public API
The libgit2 library has git_repository_set_head_detached(), which allows to move HEAD to any commit. This PR provides a glib wrap for it.