API Version: 1.0
Library Version: 1.1.0
void ggit_revision_walker_push_head ( GgitRevisionWalker* walker GError** error )
Push the OID of the current HEAD to the revision walker.