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.

Sign up for GitHub

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

Jump to bottom

Integrate irmin-server #2031

Merged
merged 26 commits into from
Aug 9, 2023
Merged

Integrate irmin-server #2031

merged 26 commits into from
Aug 9, 2023

Commits on Aug 2, 2023

  1. Add irmin-server and irmin-client

    @zshipko @metanivek
    zshipko authored and metanivek committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    9a1244a View commit details
    Browse the repository at this point in the history

  2. Add executables and test

    @zshipko @metanivek
    zshipko authored and metanivek committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    a22a140 View commit details
    Browse the repository at this point in the history

  3. Add examples for client/server

    @samoht @metanivek
    samoht authored and metanivek committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    62e42d4 View commit details
    Browse the repository at this point in the history

  4. irmin-server example: expose the dashboard on port 1234

    @samoht @metanivek
    samoht authored and metanivek committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    fe03261 View commit details
    Browse the repository at this point in the history

  5. Add server command to irmin cli

    @samoht @metanivek
    samoht authored and metanivek committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    48cb953 View commit details
    Browse the repository at this point in the history

  6. Fix irmin-client.opam

    @zshipko @metanivek
    zshipko authored and metanivek committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    77a060c View commit details
    Browse the repository at this point in the history

  7. Add irmin-server/irmin-client to changelog

    @samoht @metanivek
    samoht authored and metanivek committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    8c5a0c1 View commit details
    Browse the repository at this point in the history

  8. Make unix/jsoo packages optional

    @zshipko @metanivek
    zshipko authored and metanivek committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    001d081 View commit details
    Browse the repository at this point in the history

  9. Add more dependencies

    @zshipko @metanivek
    zshipko authored and metanivek committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    3bcea9d View commit details
    Browse the repository at this point in the history

  10. Formatting

    @zshipko @metanivek
    zshipko authored and metanivek committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    7770c37 View commit details
    Browse the repository at this point in the history

  11. Add depopts

    @zshipko @metanivek
    zshipko authored and metanivek committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    7e18c09 View commit details
    Browse the repository at this point in the history

  12. Add copyright header

    @zshipko @metanivek
    zshipko authored and metanivek committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    c73a44f View commit details
    Browse the repository at this point in the history

  13. Add basic web dashboard

    @zshipko @metanivek
    zshipko authored and metanivek committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    1ca919a View commit details
    Browse the repository at this point in the history

  14. Improvements to dashboard

    @zshipko @metanivek
    zshipko authored and metanivek committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    ff36968 View commit details
    Browse the repository at this point in the history

  15. Fix irmin-cli tests

    @zshipko @metanivek
    zshipko authored and metanivek committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    6b20442 View commit details
    Browse the repository at this point in the history

  16. formatting

    @zshipko @metanivek
    zshipko authored and metanivek committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    51f1af7 View commit details
    Browse the repository at this point in the history

  17. Remove high-level get function to fix atomic tests

    @zshipko @metanivek
    zshipko authored and metanivek committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    494d85c View commit details
    Browse the repository at this point in the history

  18. fix loading contents on dashboard

    @zshipko @metanivek
    zshipko authored and metanivek committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    c0f3c8b View commit details
    Browse the repository at this point in the history

  19. Remove optional dependencies 

    We can trim those later if there is a need - right now, let's try to
have something easy to install first.
    @samoht @metanivek
    samoht authored and metanivek committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    cb78799 View commit details
    Browse the repository at this point in the history

  20. Use latest Brr

    @samoht @metanivek
    samoht authored and metanivek committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    aa11dd8 View commit details
    Browse the repository at this point in the history

  21. Minor changes to the dashboard

    @samoht @metanivek
    samoht authored and metanivek committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    eb45063 View commit details
    Browse the repository at this point in the history

  22. irmin-client: add minimal documentation for the Batch module

    @samoht @metanivek
    samoht authored and metanivek committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    aec5e8f View commit details
    Browse the repository at this point in the history

  23. start documenting S.Batch

    @zshipko @metanivek
    zshipko authored and metanivek committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    4a34601 View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2023

  1. Update irmin-server/client to use clear arg

    @metanivek
    metanivek committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    d593ff2 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2023

  1. irmin-server: do not flush request header write 

    Flushing causes multiple packets to send and trips over Nagle's
algorithm (+ maybe delayed acks). Previously TCP tests were
significantly slower than WebSocket. The WebSocket implementation uses
TCP_NODELAY, which also fixes the slow tests, but the issue is better
addressed by properly writing/flushing our requests as a single packet.
    @metanivek
    metanivek committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    866bdff View commit details
    Browse the repository at this point in the history

  2. irmin-server: remove un-needed clients hash table

    @metanivek
    metanivek committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    bd71dae View commit details
    Browse the repository at this point in the history