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

Update GitHub labels #1670

Merged
merged 2 commits into from
Jun 5, 2019
Merged

Update GitHub labels #1670

merged 2 commits into from
Jun 5, 2019

Commits on Jun 5, 2019

  1. labels: Remove old values 

    Remove the `from:` entries which no longer apply since we've now moved
to the new set of labels.

Signed-off-by: James O. D. Hunt <[email protected]>
    @jodh-intel
    jodh-intel committed Jun 5, 2019
    Configuration menu
    Copy the full SHA
    647640e View commit details
    Browse the repository at this point in the history

  2. labels: Add missing wip and do-not-merge 

    Add the missing labels `wip` and `do-not-merge` which got dropped from
the new set of GitHub labels.

Fixes: kata-containers#1669.

Signed-off-by: James O. D. Hunt <[email protected]>
    @jodh-intel
    jodh-intel committed Jun 5, 2019
    Configuration menu
    Copy the full SHA
    29e2d8d View commit details
    Browse the repository at this point in the history