Skip to content

Instantly share code, notes, and snippets.

@fracek
Created July 2, 2014 12:33
Show Gist options
  • Save fracek/8083424563788a1173bb to your computer and use it in GitHub Desktop.
Save fracek/8083424563788a1173bb to your computer and use it in GitHub Desktop.
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;
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment