git:git_ls_remote/3

git_ls_remote(+GitURL, -Refs, +Options) is det

Execute git ls-remote against the remote repository to fetch references from the remote. Options processed:

heads(Boolean)
tags(Boolean)
refs(List)

For example, to find the hash of the remote HEAD, one can use

?- git_ls_remote('git://www.swi-prolog.org/home/pl/git/pl-devel.git',
                 Refs, [refs(['HEAD'])]).
Refs = ['5d596c52aa969d88e7959f86327f5c7ff23695f3'-'HEAD'].

Arguments:

Refs

- is a list of pairs hash-name.