Debug flag: `ppm(git)'.

author

- Wouter Beek

version

- 2017-2018

 git_add_remote_uri(+Directory:atom, +Uri:atom) is det

 git_checkout(+Directory:atom, +TagOrVersion:compound) is det

 git_clone(+Directory:atom, +Uri:atom) is det

 git_create_tag(+Directory:atom, +Tag:atom) is det

 git_current_version(+Directory:atom, -Version:compound) is det

 git_delete_tag(+Directory:atom, +Tag:atom) is det

 git_fetch(+Directory:atom) is det

 git_initial_push(+Directory:atom) is det

 git_remote_exists(+Uri:atom) is semidet

Succeeds iff a Git repository is located at Uri.

 git_remote_uri(+Directory:atom, -Uri:atom) is det

 git_tag(+Directory:atom, +Tag:atom) is semidet

git_tag(+Directory:atom, -Tag:atom) is nondet

 git_version(+Direction:atom, +Version:compound) is semidet

git_version(+Direction:atom, -Version:compound) is nondet

 git_version_latest(+Directory:atom, +Version:compound) is semidet

git_version_latest(+Directory:atom, -Version:compound) is semidet