Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Mini conduit in Git #428

Merged
merged 28 commits into from
Jan 5, 2021
Merged

Mini conduit in Git #428

merged 28 commits into from
Jan 5, 2021

Commits on Dec 19, 2020

  1. Configuration menu
    Copy the full SHA
    6ae3a2d View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    52ee9bf View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    c7a966d View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    5be6187 View commit details
    Browse the repository at this point in the history
  5. Slight update on tests

    dinosaure committed Dec 19, 2020
    Configuration menu
    Copy the full SHA
    5acfb50 View commit details
    Browse the repository at this point in the history
  6. Slight update on git-unix

    dinosaure committed Dec 19, 2020
    Configuration menu
    Copy the full SHA
    a5f6a12 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    7c719ed View commit details
    Browse the repository at this point in the history
  8. Lint on OPAM files

    dinosaure committed Dec 19, 2020
    Configuration menu
    Copy the full SHA
    3bde0d8 View commit details
    Browse the repository at this point in the history
  9. Delete pin-depends

    dinosaure committed Dec 19, 2020
    Configuration menu
    Copy the full SHA
    aad17b6 View commit details
    Browse the repository at this point in the history
  10. Add a pin-depends on awa

    dinosaure committed Dec 19, 2020
    Configuration menu
    Copy the full SHA
    e39ca69 View commit details
    Browse the repository at this point in the history
  11. Support SSH

    dinosaure committed Dec 19, 2020
    Configuration menu
    Copy the full SHA
    d65b92a View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    afc188b View commit details
    Browse the repository at this point in the history
  13. Apply ocamlformat.0.16.0

    dinosaure committed Dec 19, 2020
    Configuration menu
    Copy the full SHA
    b897254 View commit details
    Browse the repository at this point in the history

Commits on Dec 20, 2020

  1. Configuration menu
    Copy the full SHA
    db699f1 View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2021

  1. Configuration menu
    Copy the full SHA
    bde6d4c View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    6c3d3d0 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    9fd86f9 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    415fdd0 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    36e94b9 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    60f1442 View commit details
    Browse the repository at this point in the history
  7. Lint OPAM files

    dinosaure committed Jan 4, 2021
    Configuration menu
    Copy the full SHA
    2958aae View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    a1ca912 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    5b79548 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    23f5b4e View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    7e44c23 View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    2f73b76 View commit details
    Browse the repository at this point in the history
  13. Configuration menu
    Copy the full SHA
    cc1002f View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2021

  1. Configuration menu
    Copy the full SHA
    9c75798 View commit details
    Browse the repository at this point in the history