clone: record the remote primary branch with remotes/$origin/HEAD
[git.git] / generate-cmdlist.sh
2006-03-09 Fredrik KuivinenNicer output from 'git'