Skip to content

Support git remotes with multiple push targets#137

Merged
rjbou merged 1 commit intoocaml-opam:masterfrom favonia:support-multi-pushSep 7, 2022

Commits

Commits on Jun 7, 2022