Pack.Core.Git

Reexports

Definitions

gitTmpDir : TmpDir => PkgName -> Path Abs

  (Temporary) Directory to use for a Git project.

Totality: total
Visibility: export

gitCacheDir : PackDirs => URL -> Path Abs

  Cached directory to use for a Git project.

Totality: total
Visibility: export

checkout : HasIO io => Commit -> EitherT PackErr io ()

  Checkout to the given commit

Totality: total
Visibility: export

gitLatest : HasIO io => URL -> Branch -> EitherT PackErr io Commit

  Query a Git repo for the latest commit of the main branch.

Visibility: export

withGit : HasIO io => TmpDir => PackDirs => PkgName -> URL -> Commit -> Bool -> (Path Abs -> EitherT PackErr io a) -> EitherT PackErr io a

  Clone a git repository into `dir`, switch to the
  given commit and run the given action.

Totality: total
Visibility: export