Remote

---

Object Hierarchy:

Description:

Content:

Properties:

• public CredentialsProvider? credentials_provider { get; set; }
• public string[]? fetch_specs { owned get; set; }
• public string[]? push_specs { owned get; set; }
• public RemoteState state { get; }
• public double transfer_progress { get; }

Creation methods:

• public Remote ()

Methods:

• public async void connect (Direction direction, RemoteCallbacks? callbacks = null) throws Error
• public async void disconnect () throws Error
• public override void dispose ()
• public async void download (RemoteCallbacks? callbacks = null) throws Error
• public async void fetch (string? message, RemoteCallbacks? callbacks = null) throws Error
• public async void push (string branch, RemoteCallbacks? callbacks = null) throws Error

Signals:

• public signal void tip_updated (string refname, OId a, OId b)

Inherited Members: