Run git directly through Unix.create_process so that user supplied values such as URLs stay separate argv entries, and model a remote as its fetch URLs, its effective push destinations and its explicit pushurl entries.
5 lines
84 B
Plaintext
5 lines
84 B
Plaintext
(library
|
|
(name git_fleet)
|
|
(public_name git-fleet.lib)
|
|
(libraries cmdliner unix))
|