Use prioritize_on field to start prioritization process #542

spastorino · 2020-05-14T16:15:36Z

LeSeulArtichaut · 2020-05-14T16:31:22Z

This should probably be rebased on #543

src/config.rs

src/handlers/prioritize.rs

Mark-Simulacrum reviewed May 14, 2020

View reviewed changes

src/config.rs Show resolved Hide resolved

spastorino force-pushed the start-prioritization-on-more-labels branch 2 times, most recently from fa01b88 to 0734475 Compare May 14, 2020 17:21

LeSeulArtichaut reviewed May 14, 2020

View reviewed changes

src/config.rs Outdated Show resolved Hide resolved

src/handlers/prioritize.rs Outdated Show resolved Hide resolved

spastorino force-pushed the start-prioritization-on-more-labels branch 4 times, most recently from 313ac52 to 638b298 Compare May 14, 2020 18:07

LeSeulArtichaut reviewed May 14, 2020

View reviewed changes

src/handlers/prioritize.rs Outdated Show resolved Hide resolved

spastorino force-pushed the start-prioritization-on-more-labels branch 2 times, most recently from ccf14e4 to fefa7f3 Compare May 14, 2020 18:26

Mark-Simulacrum reviewed May 14, 2020

View reviewed changes

src/handlers/prioritize.rs Outdated Show resolved Hide resolved

spastorino added 2 commits May 14, 2020 17:20

Use prioritize_on field to start prioritization process

d5c3561

cargo fmt

e21d9f6

spastorino force-pushed the start-prioritization-on-more-labels branch from fefa7f3 to e21d9f6 Compare May 14, 2020 20:20

Mark-Simulacrum approved these changes May 14, 2020

View reviewed changes

Mark-Simulacrum merged commit 6f378f1 into rust-lang:master May 14, 2020

Provide feedback