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

Refactor Leader key feature #19632

Merged
merged 14 commits into from
Feb 12, 2023
Merged

Refactor Leader key feature #19632

merged 14 commits into from
Feb 12, 2023

Commits on Jan 19, 2023

  1. Refactor Leader key feature

    @fauxpark
    fauxpark committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    6418215 View commit details
    Browse the repository at this point in the history

  2. Rewrite docs

    @fauxpark
    fauxpark committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    147f90a View commit details
    Browse the repository at this point in the history

  3. Update user code

    @fauxpark
    fauxpark committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    db08f32 View commit details
    Browse the repository at this point in the history

  4. format

    @fauxpark
    fauxpark committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    195a8a7 View commit details
    Browse the repository at this point in the history

  5. leader_sequence_add() should just return false if the buffer is full

    @fauxpark
    fauxpark committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    c6172e6 View commit details
    Browse the repository at this point in the history

  6. Forgot the doc comment

    @fauxpark
    fauxpark committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    21f5e13 View commit details
    Browse the repository at this point in the history

  7. Invert this ifdef

    @fauxpark
    fauxpark committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    4e24dd0 View commit details
    Browse the repository at this point in the history

Commits on Jan 21, 2023

  1. Merge branch 'develop' into leader-refactor

    @fauxpark
    fauxpark committed Jan 21, 2023
    Configuration menu
    Copy the full SHA
    ae4ae9f View commit details
    Browse the repository at this point in the history

  2. Fix LEADER_NO_TIMEOUT, and make it work without per-key

    @fauxpark
    fauxpark committed Jan 21, 2023
    Configuration menu
    Copy the full SHA
    cfbf04b View commit details
    Browse the repository at this point in the history

  3. format

    @fauxpark
    fauxpark committed Jan 21, 2023
    Configuration menu
    Copy the full SHA
    901af6c View commit details
    Browse the repository at this point in the history

  4. Add tests

    @fauxpark
    fauxpark committed Jan 21, 2023
    Configuration menu
    Copy the full SHA
    064cc5c View commit details
    Browse the repository at this point in the history

  5. format again

    @fauxpark
    fauxpark committed Jan 21, 2023
    Configuration menu
    Copy the full SHA
    a29178a View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2023

  1. Merge branch 'develop' into leader-refactor

    @fauxpark
    fauxpark committed Jan 26, 2023
    Configuration menu
    Copy the full SHA
    ad8e20f View commit details
    Browse the repository at this point in the history

Commits on Jan 27, 2023

  1. Apply suggestions from code review 

    Co-authored-by: Drashna Jaelre <drashna@live.com>
    @fauxpark @drashna
    fauxpark and drashna committed Jan 27, 2023
    Configuration menu
    Copy the full SHA
    5c1556e View commit details
    Browse the repository at this point in the history