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