Ggit.RevisionWalker.push_head – libgit2-glib-1.0 Reference Manual
push_head
Description:
public
void
push_head
()
throws
Error
Push the OID of the current HEAD to the revision walker.
Parameters:
this
a
RevisionWalker
.
2022 vala-language.org