API Version: 1.0
Library Version: 1.2.1
Generated by gi-docgen 2025.3
void ggit_revision_walker_push_head ( GgitRevisionWalker* walker GError** error )
Push the OID of the current HEAD to the revision walker.