libgit2.intr

define git-options <git-repository-init-options*>
  option git-repository-init-options$version => version = 1;
  option git-repository-init-options$flags => flags;
  option git-repository-init-options$mode => mode;
  option git-repository-init-options$workdir-path => working-directory;
  option git-repository-init-options$description => description;
  option git-repository-init-options$template-path => template-path;
  option git-repository-init-options$initial-head => initial-head;
  option git-repository-init-options$origin-url => origin-url;
end git-options;