Ggit.RemoteHead.is_local – ggit-1.0 Reference Manual
Packages
ggit-1.0
Ggit
RemoteHead
@ref
get_local_oid
get_name
get_oid
is_local
unref
is_local
Description:
public
bool
is_local
()
Get whether the remote head is local.
Parameters:
this
a
RemoteHead
.
Returns:
whether the remote head is local.