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

Flip internal priorities of GC and move-only merge #4168

Merged
merged 1 commit into from
Nov 16, 2017
Merged

Flip internal priorities of GC and move-only merge #4168

merged 1 commit into from
Nov 16, 2017

Commits on Nov 16, 2017

  1. Flip internal priorities of GC and move-only merge 

    Having GC be higher priority than move-only merges meant that slow GC
could effectively inhibit node retirement. Furthermore, move-only merges
are finite while GC happens indefinitely, so it makes sense to give merging
higher priority overall.

This fixes #4165
    @vekterli
    vekterli committed Nov 16, 2017
    Configuration menu
    Copy the full SHA
    c21b6e1 View commit details
    Browse the repository at this point in the history