Availability::- use_module(library(git)).(can be autoloaded)
- git_default_branch(-BranchName, +Options) is det
- True when BranchName is the default branch of a repository. This is
hard to define. If possible, we perform
rev-parse on
origin/HEAD. If not, we look at branches shared between the
local and remote and select main or master or the first common
breach. Options:
- remote(+Remote)
- Remote used to detect the default branch. Default is
origin.
- git_default_branch(-BranchName, +Options) is semidet
- True when BranchName is the current branch of a repository. Fails
if the repo HEAD is detached
