mirror of
https://gitlab.gnome.org/GNOME/gitg
synced 2024-11-04 23:34:39 +00:00
Override repository create_branch for casting to Gitg.Branch
This commit is contained in:
parent
746682d422
commit
b787b70eba
1 changed files with 5 additions and 0 deletions
|
@ -148,6 +148,11 @@ public class Repository : Ggit.Repository
|
|||
return base.lookup_reference_dwim(short_name) as Ref;
|
||||
}
|
||||
|
||||
public new Branch create_branch(string name, Ggit.Object obj, Ggit.CreateFlags flags) throws Error
|
||||
{
|
||||
return base.create_branch(name, obj, flags) as Branch;
|
||||
}
|
||||
|
||||
public new Ref create_reference(string name, Ggit.OId oid, string message) throws Error
|
||||
{
|
||||
return base.create_reference(name, oid, message) as Ref;
|
||||
|
|
Loading…
Reference in a new issue