package current_gitlab

  1. Overview
  2. Docs

Module Current_gitlab.Repo_idSource

Identifier for a Project's repository hosted on GitLab.

Sourcetype t = {
  1. owner : string;
  2. name : string;
  3. project_id : int;
}
Sourceval pp : t Fmt.t
Sourceval compare : t -> t -> int
Sourceval cmdliner : t Cmdliner.Term.t

Cmdliner parser for reading a repo_id as a string. Expected format is "owner/name/project_id"