Skip to content
This repository has been archived by the owner on Apr 26, 2024. It is now read-only.

Recheck if remote device is cached before requesting it #16252

Merged
merged 4 commits into from
Sep 7, 2023
Merged

Recheck if remote device is cached before requesting it #16252

merged 4 commits into from
Sep 7, 2023

Commits on Sep 5, 2023

  1. Recheck if remote device is cached before requesting it 

    This fixes a bug where we could get stuck re-requesting the device over
replication again and again.
    @erikjohnston
    erikjohnston committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    0469b0b View commit details
    Browse the repository at this point in the history

  2. Newsfile

    @erikjohnston
    erikjohnston committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    94ca43f View commit details
    Browse the repository at this point in the history

  3. Linearize requests to fetch remote devices

    @erikjohnston
    erikjohnston committed Sep 5, 2023
    Configuration menu
    Copy the full SHA
    e05ccb5 View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2023

  1. Merge remote-tracking branch 'origin/develop' into erikj/recheck_if_d… 

    …evice_is_cached
    @erikjohnston
    erikjohnston committed Sep 7, 2023
    Configuration menu
    Copy the full SHA
    0676302 View commit details
    Browse the repository at this point in the history