push_head

Description:

public void push_head () throws Error

Push the OID of the current HEAD to the revision walker.

Parameters:

this

a RevisionWalker.